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