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_minimax(2,0,place(6,6,yellow))
4auto_play(place(4,5,red))
5auto_play_minimax(2,0,place(5,6,yellow))
6auto_play(place(4,4,red))
7auto_play_minimax(2,0,place(4,3,yellow))
8auto_play(place(6,5,red))
9auto_play_minimax(2,0,place(5,5,yellow))
10auto_play(place(5,4,red))
11auto_play_minimax(2,0,place(2,6,yellow))
12auto_play(place(6,4,red))
13auto_play_minimax(2,0,place(5,3,yellow))
14auto_play(place(6,3,red))
15auto_play_minimax(2,1,place(1,6,yellow))
16auto_play(place(6,2,red))
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:09)
Main VisB JSON file: prob_examples/public_examples/XTL/connect4_visb.def (modified on 5/8/2025 at 11:00)