-title-not-set- -title-not-set- -title-not-set- -title-not-set-

Nr Name Value
1 t 5.546875
2 vx {(p1|->8.0),(p2|->-6.0)}
3 vy {(p1|->2.5),(p2|->-0.55)}
4 ix {(p1|->0.0),(p2|->80.0)}
5 iy {(p1|->0.0),(p2|->20.0)}
6 cx {(p1|->44.375),(p2|->46.71875)}
7 cy {(p1|->13.8671875),(p2|->16.94921875)}
8 dist 3.871960832508067
Nr Name Value
1 PLANES {p1,p2}
2 INT (-1 .. 4)
Nr Event Target State ID
1SETUP_CONSTANTS(t=5.546875,cx={(p1↦44.375),(p2↦46.71875)},cy={(p1↦13.8671875),(p2↦16.94921875)},dist=3.871960832508067)State 1
2INITIALISATION()
Generated on 11/6/2026 at 15:06 using ProB version 1.16.0-nightly
Main specification file: PlaneMovement2.mch (modified on 11/6/2026 at 15:06)
Main specification name: PlaneMovement2