3 $ $VALGRIND_NO_TRACE_CHILDREN ${bindir:=.}/../../../bin/simgrid-mc ${bindir:=.}/s4u-mc-electric-fence ${platfdir}/model_checker_platform.xml
4 > [0.000000] [mc_dfs/INFO] Start a DFS exploration. Reduction is: dpor.
5 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
6 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
7 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
8 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
9 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
10 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
11 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
12 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
13 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
14 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
15 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
16 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
17 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
18 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
19 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
20 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
21 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
22 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
23 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
24 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
25 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
26 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
27 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
28 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
29 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
30 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
31 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
32 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
33 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
34 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
35 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
36 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
37 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
38 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
39 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
40 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
41 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
42 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
43 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
44 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
45 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
46 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
47 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
48 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
49 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
50 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
51 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
52 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
53 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
54 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
55 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
56 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
57 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
58 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
59 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
60 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
61 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
62 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
63 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
64 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
65 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
66 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
67 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
68 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
69 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
70 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
71 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
72 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
73 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
74 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
75 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
76 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
77 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
78 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
79 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
80 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
81 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
82 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
83 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
84 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
85 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
86 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
87 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
88 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
89 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
90 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
91 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
92 > [0.000000] [mc_dfs/INFO] DFS exploration ended. 169 unique states visited; 28 backtracks (64 transition replays, 261 states visited overall)
