Storyboard FerrymansProblemManuel
initial situation:
Reachable State 1
Reachable State 2
Reachable State 3
Reachable State 4
Reachable State 5
Reachable State 6
Reachable State 7
Reachable State 8
Reachable State 9
Reachable State 10
Reachable State 11
Reachable State 12
Reachable State 13
Reachable State 14
Reachable State 15
Reachable State 16
Reachable State 17
Reachable State 18
Reachable State 19
Reachable State 20
Reachable State 21
Reachable State 22
Reachable State 23
Reachable State 24
Reachable State 25
Reachable State 26
Check: Number of Reachable States expected: 27 actual 27
large reachbility graph with embedded states:
Check: found a solution true