SVG Visualisation
Distance: 6.4031242374328485 from Alice to Bob
Distance: 6.324555320336759 from Alice to Carol
Distance: 6.082762530298219 from Alice to Dave
Person Alice at 1,1 with fruit Apple
1,1
Alice
Person Dave at 2,7 with fruit Banana
2,7
Dave
Person Bob at 6,5 with fruit Date
6,5
Bob
Person Carol at 7,3 with fruit Cherry
7,3
Carol
Reset View
Replay Trace
« Back
Forward »
Run Trace (10 ms delay)
Run Trace (500 ms delay)
Run Trace with Delay (ms):
Constants (3)
Nr
Name
Value
1
PosX
{(Alice|->1),(Bob|->6),(Carol|->7),(Dave|->2)}
2
PosY
{(Alice|->1),(Bob|->5),(Carol|->3),(Dave|->7)}
3
Favorite
{(Alice|->Apple),(Bob|->Date),(Carol|->Cherry),(Dave|->Banana)}
Sets (3)
Nr
Name
Value
1
Persons
{Alice,Bob,Carol,Dave}
2
Fruits
{Apple,Banana,Cherry,Date}
3
INT
(-1 .. 4)
Operations (1)
Nr
Name
Enabled
1
Distance
?
Trace (length=5)
Nr
Event
Target State ID
1
SETUP_CONSTANTS(PosX={(Alice↦1),(Bob↦6),(Carol↦7),(Dave↦2)},PosY={(Alice↦1),(Bob↦5),(Carol↦3),(Dave↦7)},Favorite={(Alice...
State 0
2
INITIALISATION()
State 1
3
Distance(Alice,Bob)-->6.4031242374328485
State 1
4
Distance(Alice,Carol)-->6.324555320336759
State 1
5
Distance(Alice,Dave)-->6.082762530298219
State 1
Info
Generated on 17/6/2026 at 10:01 using
ProB
version 1.16.0-nightly
Main specification file: FriendsFruits2DPuzzle.mch (modified on 17/6/2026 at 9:02)
Main specification name: FriendsFruits2DPuzzle