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