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
2auto_play(place(4,6,red))
3auto_play(place(5,6,yellow))
4auto_play(place(5,5,red))
5auto_play(place(4,5,yellow))
6auto_play(place(4,4,red))
7auto_play(place(5,4,yellow))
8auto_play(place(4,3,red))
9auto_play(place(4,2,yellow))
10auto_play(place(3,6,red))
11auto_play(place(2,6,yellow))
12auto_play(place(2,5,red))
13auto_play(place(5,3,yellow))
14auto_play(place(5,2,red))
15auto_play(place(6,6,yellow))
16auto_play(place(4,1,red))
17auto_play(place(5,1,yellow))
18auto_play(place(1,6,red))
19auto_play(place(1,5,yellow))
20auto_play(place(1,4,red))
21auto_play(place(1,3,yellow))
22auto_play(place(1,2,red))
23auto_play(place(1,1,yellow))
24auto_play(place(7,6,red))
25auto_play(place(7,5,yellow))
26auto_play(place(7,4,red))
27auto_play(place(7,3,yellow))
28auto_play(place(2,4,red))
29auto_play(place(2,3,yellow))
30auto_play(place(2,2,red))
31auto_play(place(2,1,yellow))
32auto_play(place(7,2,red))
33auto_play(place(7,1,yellow))
34auto_play(place(6,5,red))
35auto_play(place(6,4,yellow))
Generated on 2/4/2026 at 19:12 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:12)
Main VisB JSON file: prob_examples/public_examples/XTL/connect4_visb.def (modified on 5/8/2025 at 11:00)