train 1 at position 37.51..39.51 with speed 2.7024399999999957 1 train 2 at position 49.99..47.99 with speed -7.7024399999999975 2 train 1 at position 33.81..35.81 with speed 4.702439999999996 1 train 2 at position 58.19..56.19 with speed -8.702439999999998 2
Generated on 5/6/2026 at 9:51 using ProB version 1.16.0-nightly
Main specification file: TrainMovement3.mch (modified on 5/6/2026 at 9:46)
Main specification name: TrainMovement3