Nr Name Value Previous Value
1 raw_state ? ?
2 property1 ? ?
3 property2 ? ?
4 property3 ? ?
5 property4 ? ?
6 property5 ? ?
7 property6 ? ?
8 property7 ? ?
9 property8 ? ?
10 property9 ? ?
11 property10 ? ?
12 property11 ? ?
13 property12 ? ?
14 property13 ? ?
15 property14 ? ?
16 property15 ? ?
17 property16 ? ?
18 property17 ? ?
19 property18 ? ?
20 property19 ? ?
21 property20 ? ?
22 property21 ? ?
23 property22 ? ?
24 property23 ? ?
25 property24 ? ?
26 property25 ? ?
27 property26 ? ?
28 property27 ? ?
29 property28 ? ?
30 property29 ? ?
31 property30 ? ?
32 property31 ? ?
33 property32 ? ?
34 property33 ? ?
35 property34 ? ?
36 property35 ? ?
37 property36 ? ?
38 property37 ? ?
39 property38 ? ?
40 property39 ? ?
41 property40 ? ?
42 property41 ? ?
43 property42 ? ?
44 property43 ? ?
45 property44 ? ?
46 property45 ? ?
Nr Event Target State ID
1start_xtl_system
2place(3,6,red)
3place(2,6,yellow)
4place(4,6,red)
5place(6,6,yellow)
6place(1,6,red)
7place(3,5,yellow)
8place(1,5,red)
9place(5,6,yellow)
10place(1,4,red)
11place(5,5,yellow)
12place(7,6,red)
13place(6,5,yellow)
14place(7,5,red)
15place(1,3,yellow)
16place(1,2,red)
17place(3,4,yellow)
18place(3,3,red)
19place(6,4,yellow)
20place(3,2,red)
21place(2,5,yellow)
22place(3,1,red)
23place(5,4,yellow)
24place(2,4,red)
25place(7,4,yellow)
26place(7,3,red)
27place(1,1,yellow)
28place(7,2,red)
29place(6,3,yellow)
Generated on 2/4/2026 at 19:11 using ProB version 1.16.0-nightly
Main specification file: prob_examples/public_examples/XTL/Connect4_mcts.P (modified on 2/4/2026 at 19:09)
Main VisB JSON file: prob_examples/public_examples/XTL/connect4_visb.def (modified on 5/8/2025 at 11:00)