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