MultiCarRoadWorkProblemSimulatedStep
T0
------W
E-/=\--
F0
ReachabilityGraph
Emfer 2 size 19
0.0
T0
W-----W
E-/=\-E
F0
1 --synthetic control-> 2 0.0
1 --synthetic control-> 2
0.0
F0
W-----W
E-/=\-E
F0
2 --simulation step-> 3 0.0
2 --simulation step-> 3
0.0
F0
-----WW
EE/=\--
F0
3 --synthetic control-> 4 0.0
3 --synthetic control-> 4
0.0
T0
-----WW
EE/=\--
F0
4 --simulation step-> 5 0.0
4 --simulation step-> 5
0.0
T0
----WW-
EE/=\--
F0
5 --simulation step-> 6 0.0
5 --simulation step-> 6
19 --simulation step-> 6
0.0
T0
---WW--
EE/=\--
F0
6 --synthetic control-> 7 0.0
6 --synthetic control-> 7
0.0
F0
---WW--
EE/=\--
F0
7 --simulation step-> 8 0.0
7 --simulation step-> 8
0.0
F0
--WW---
EE/=\--
F0
8 --simulation step-> 9 0.0
8 --simulation step-> 9
0.0
F0
-WW----
EE/=\--
F0
9 --simulation step-> 10 0.0
9 --simulation step-> 10
0.0
F0
WW-----
EE/=\--
F0
10 --synthetic control-> 11 0.0
10 --synthetic control-> 11
0.0
F0
WW-----
EE/=\--
T0
11 --simulation step-> 12 0.0
11 --simulation step-> 12
0.0
F0
W-E---W
-E/=\--
T0
12 --simulation step-> 13 0.0
12 --simulation step-> 13
0.0
F0
--EE-WW
--/=\--
T0
13 --synthetic control-> 14 0.0
13 --synthetic control-> 14
0.0
F0
--EE-WW
--/=\--
F0
14 --simulation step-> 15 0.0
14 --simulation step-> 15
0.0
F0
---EEWW
--/=\--
F0
15 --simulation step-> 16 0.0
15 --simulation step-> 16
0.0
F0
----EWW
--/=\E-
F0
16 --simulation step-> 17 0.0
16 --simulation step-> 17
0.0
F0
-----WW
--/=\EE
F0
17 --synthetic control-> 18 0.0
17 --synthetic control-> 18
0.0
T0
-----WW
--/=\EE
F0
18 --simulation step-> 19 0.0
18 --simulation step-> 19
0.0
T0
----WW-
E-/=\-E
F0
19 --simulation step-> 6 0.0