Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint4/Litnet_4.json -T -R -O -V Low
DFA generation time: 0.043 seconds 
DFA states: 33 
DFA transitions: 136
Problem file: data/zoo_json_waypoint4/Litnet_4.json
Switches to update: 32

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

real 5.52
user 6.98
sys 0.27
