Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint1/Litnet_4.json -T -R -O -V Low
DFA generation time: 0.022 seconds 
DFA states: 5 
DFA transitions: 60
Problem file: data/zoo_json_waypoint1/Litnet_4.json
Switches to update: 32

Decomposed topology into 1 subproblems
Topological decomposition took 0.0 seconds
Subproblem verification time: 2.902 seconds
Minimum batches required: 3
[[32, 72, 112, 152, 192, 232, 272, 312, 1, 41, 81, 121, 161, 201, 241, 281], [306, 266, 226, 186, 146, 106, 66, 26], [33, 73, 113, 153, 193, 233, 273, 313]]
Total program runtime: 3.381 seconds

real 3.69
user 4.60
sys 0.22
