« Back Forward » Run Trace (10 ms delay) Run Trace (500 ms delay)

Nr	Event	Target State ID
1	constraint_based_check	State 0
2	INITIALISATION(nationality={(1|->"norwegian"),(2|->"dane"),(3|->"brit"),(4|->"german"),(5|->"swede")},colors={(1|->"yell...	State 1

Generated on 22/3/2021 at 8:20 using ProB version 1.11.0-nightly
Main specification file: Einstein.prob