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

Decomposed topology into 1 subproblems
Topological decomposition took 0.0 seconds
Subproblem verification time: 3.387 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.863 seconds

real 4.18
user 5.18
sys 0.19
