train 1 at position 39..41 with speed 12.72091488480201 1 train 2 at position 60..58 with speed -6.360457442401005 2 train 1 at position 27..29 with speed 10.72091488480201 1 train 2 at position 86..84 with speed -5.360457442401005 2
Generated on 2/6/2026 at 17:57 using ProB version 1.16.0-nightly
Main specification file: TrainMovement2.mch (modified on 2/6/2026 at 17:57)
Main specification name: TrainMovement2