RoadWorkProblem


     T  
------W
E-/ \--
 F0      

22 --move car n7 WEST-+ 1

56 --move car s7 EAST-+ 1

0.0 T ------W E-/ \-- F0

1 --move car s1 EAST-+ 2

1 --move car n1 WEST-+ 3

1 --move car s1 EAST-+ 2

0.0 T ------W -E/ \-- F0

2 --swap Signals-+ 4

1 --move car n1 WEST-+ 3

32 --swap Signals-+ 3

33 --move car s7 EAST-+ 3

0.0 T -----W- E-/ \-- F0

3 --move car s1 EAST-+ 5

3 --move car n2 WEST-+ 6

2 --swap Signals-+ 4

27 --move car s1 EAST-+ 4

31 --move car n7 WEST-+ 4

0.0 F0 ------W -E/ \-- T

4 --move car s2 EAST-+ 7

4 --move car n1 WEST-+ 8

3 --move car s1 EAST-+ 5

0.0 T -----W- -E/ \-- F0

5 --move car n2 WEST-+ 9

3 --move car n2 WEST-+ 6

37 --move car s7 EAST-+ 6

0.0 T ----W-- E-/ \-- F0

6 --move car s1 EAST-+ 9

6 --move car n3 WEST-+ 10

4 --move car s2 EAST-+ 7

36 --move car n7 WEST-+ 7

0.0 F0 --E---W --/ \-- T

7 --move car n5 EAST-+ 11

7 --move car n1 WEST-+ 12

4 --move car n1 WEST-+ 8

0.0 F0 -----W- -E/ \-- T

8 --move car s2 EAST-+ 12

5 --move car n2 WEST-+ 9

6 --move car s1 EAST-+ 9

0.0 T ----W-- -E/ \-- F0

9 --move car n3 WEST-+ 13

6 --move car n3 WEST-+ 10

41 --move car s7 EAST-+ 10

0.0 T ---W--- E-/ \-- F0

10 --move car s1 EAST-+ 13

10 --move car n4 WEST-+ 14

7 --move car n5 EAST-+ 11

40 --move car n7 WEST-+ 11

0.0 F0 ---E--W --/ \-- T

11 --move car n4 EAST-+ 15

11 --move car n1 WEST-+ 16

7 --move car n1 WEST-+ 12

8 --move car s2 EAST-+ 12

0.0 F0 --E--W- --/ \-- T

12 --move car n5 EAST-+ 16

9 --move car n3 WEST-+ 13

10 --move car s1 EAST-+ 13

0.0 T ---W--- -E/ \-- F0

13 --move car n4 WEST-+ 17

10 --move car n4 WEST-+ 14

45 --move car s7 EAST-+ 14

0.0 T --W---- E-/ \-- F0

14 --move car s1 EAST-+ 17

14 --move car n5 WEST-+ 18

11 --move car n4 EAST-+ 15

44 --move car n7 WEST-+ 15

0.0 F0 ----E-W --/ \-- T

15 --move car n3 EAST-+ 19

15 --move car n1 WEST-+ 20

11 --move car n1 WEST-+ 16

12 --move car n5 EAST-+ 16

0.0 F0 ---E-W- --/ \-- T

16 --move car n4 EAST-+ 20

13 --move car n4 WEST-+ 17

14 --move car s1 EAST-+ 17

0.0 T --W---- -E/ \-- F0

17 --move car n5 WEST-+ 21

14 --move car n5 WEST-+ 18

49 --move car s7 EAST-+ 18

0.0 T -W----- E-/ \-- F0

18 --move car s1 EAST-+ 21

18 --move car n6 WEST-+ 22

15 --move car n3 EAST-+ 19

48 --move car n7 WEST-+ 19

0.0 F0 ------W --/ \E- T

19 --move car s6 EAST-+ 23

19 --move car n1 WEST-+ 24

15 --move car n1 WEST-+ 20

16 --move car n4 EAST-+ 20

0.0 F0 ----EW- --/ \-- T

20 --move car n3 EAST-+ 24

17 --move car n5 WEST-+ 21

18 --move car s1 EAST-+ 21

0.0 T -W----- -E/ \-- F0

21 --swap Signals-+ 25

18 --move car n6 WEST-+ 22

53 --move car s7 EAST-+ 22

0.0 T W------ E-/ \-- F0

22 --move car s1 EAST-+ 26

22 --move car n7 WEST-+ 1

19 --move car s6 EAST-+ 23

52 --move car n7 WEST-+ 23

0.0 F0 ------W --/ \-E T

23 --move car s7 EAST-+ 27

23 --move car n1 WEST-+ 28

19 --move car n1 WEST-+ 24

20 --move car n3 EAST-+ 24

0.0 F0 -----W- --/ \E- T

24 --swap Signals-+ 29

21 --swap Signals-+ 25

51 --move car s1 EAST-+ 25

0.0 F0 -W----- -E/ \-- T

25 --move car s2 EAST-+ 30

25 --move car n6 WEST-+ 31

22 --move car s1 EAST-+ 26

0.0 T W------ -E/ \-- F0

26 --swap Signals-+ 31

23 --move car s7 EAST-+ 27

55 --move car n7 WEST-+ 27

0.0 F0 ------W E-/ \-- T

27 --move car s1 EAST-+ 4

27 --move car n1 WEST-+ 32

23 --move car n1 WEST-+ 28

0.0 F0 -----W- --/ \-E T

28 --swap Signals-+ 33

24 --swap Signals-+ 29

54 --move car n1 WEST-+ 29

0.0 T -----W- --/ \E- F0

29 --move car s6 EAST-+ 33

29 --move car n2 WEST-+ 34

25 --move car s2 EAST-+ 30

0.0 F0 -WE---- --/ \-- T

30 --move car n5 EAST-+ 35

30 --move car n6 WEST-+ 36

25 --move car n6 WEST-+ 31

26 --swap Signals-+ 31

55 --move car s1 EAST-+ 31

0.0 F0 W------ -E/ \-- T

31 --move car s2 EAST-+ 36

31 --move car n7 WEST-+ 4

27 --move car n1 WEST-+ 32

0.0 F0 -----W- E-/ \-- T

32 --swap Signals-+ 3

28 --swap Signals-+ 33

29 --move car s6 EAST-+ 33

56 --move car n1 WEST-+ 33

0.0 T -----W- --/ \-E F0

33 --move car s7 EAST-+ 3

33 --move car n2 WEST-+ 37

29 --move car n2 WEST-+ 34

0.0 T ----W-- --/ \E- F0

34 --move car s6 EAST-+ 37

34 --move car n3 WEST-+ 38

30 --move car n5 EAST-+ 35

0.0 F0 -W-E--- --/ \-- T

35 --move car n4 EAST-+ 39

35 --move car n6 WEST-+ 40

30 --move car n6 WEST-+ 36

31 --move car s2 EAST-+ 36

0.0 F0 W-E---- --/ \-- T

36 --move car n5 EAST-+ 40

36 --move car n7 WEST-+ 7

33 --move car n2 WEST-+ 37

34 --move car s6 EAST-+ 37

0.0 T ----W-- --/ \-E F0

37 --move car s7 EAST-+ 6

37 --move car n3 WEST-+ 41

34 --move car n3 WEST-+ 38

0.0 T ---W--- --/ \E- F0

38 --move car s6 EAST-+ 41

38 --move car n4 WEST-+ 42

35 --move car n4 EAST-+ 39

0.0 F0 -W--E-- --/ \-- T

39 --move car n3 EAST-+ 43

39 --move car n6 WEST-+ 44

35 --move car n6 WEST-+ 40

36 --move car n5 EAST-+ 40

0.0 F0 W--E--- --/ \-- T

40 --move car n4 EAST-+ 44

40 --move car n7 WEST-+ 11

37 --move car n3 WEST-+ 41

38 --move car s6 EAST-+ 41

0.0 T ---W--- --/ \-E F0

41 --move car s7 EAST-+ 10

41 --move car n4 WEST-+ 45

38 --move car n4 WEST-+ 42

0.0 T --W---- --/ \E- F0

42 --move car s6 EAST-+ 45

42 --move car n5 WEST-+ 46

39 --move car n3 EAST-+ 43

0.0 F0 -W----- --/ \E- T

43 --move car s6 EAST-+ 47

43 --move car n6 WEST-+ 48

39 --move car n6 WEST-+ 44

40 --move car n4 EAST-+ 44

0.0 F0 W---E-- --/ \-- T

44 --move car n3 EAST-+ 48

44 --move car n7 WEST-+ 15

41 --move car n4 WEST-+ 45

42 --move car s6 EAST-+ 45

0.0 T --W---- --/ \-E F0

45 --move car s7 EAST-+ 14

45 --move car n5 WEST-+ 49

42 --move car n5 WEST-+ 46

0.0 T -W----- --/ \E- F0

46 --move car s6 EAST-+ 49

46 --move car n6 WEST-+ 50

43 --move car s6 EAST-+ 47

0.0 F0 -W----- --/ \-E T

47 --move car s7 EAST-+ 51

47 --move car n6 WEST-+ 52

43 --move car n6 WEST-+ 48

44 --move car n3 EAST-+ 48

0.0 F0 W------ --/ \E- T

48 --move car s6 EAST-+ 52

48 --move car n7 WEST-+ 19

45 --move car n5 WEST-+ 49

46 --move car s6 EAST-+ 49

0.0 T -W----- --/ \-E F0

49 --move car s7 EAST-+ 18

49 --move car n6 WEST-+ 53

46 --move car n6 WEST-+ 50

0.0 T W------ --/ \E- F0

50 --move car s6 EAST-+ 53

50 --move car n7 WEST-+ 54

47 --move car s7 EAST-+ 51

0.0 F0 -W----- E-/ \-- T

51 --move car s1 EAST-+ 25

51 --move car n6 WEST-+ 55

47 --move car n6 WEST-+ 52

48 --move car s6 EAST-+ 52

0.0 F0 W------ --/ \-E T

52 --move car s7 EAST-+ 55

52 --move car n7 WEST-+ 23

49 --move car n6 WEST-+ 53

50 --move car s6 EAST-+ 53

0.0 T W------ --/ \-E F0

53 --move car s7 EAST-+ 22

53 --move car n7 WEST-+ 56

50 --move car n7 WEST-+ 54

0.0 T ------W --/ \E- F0

54 --move car s6 EAST-+ 56

54 --move car n1 WEST-+ 29

51 --move car n6 WEST-+ 55

52 --move car s7 EAST-+ 55

0.0 F0 W------ E-/ \-- T

55 --move car s1 EAST-+ 31

55 --move car n7 WEST-+ 27

53 --move car n7 WEST-+ 56

54 --move car s6 EAST-+ 56

0.0 T ------W --/ \-E F0

56 --move car s7 EAST-+ 1

56 --move car n1 WEST-+ 33

Start Model

ReachabilityGraph