Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint2/Litnet_4.json -T -R -O -V Low
DFA generation time: 0.027 seconds 
DFA states: 9 
DFA transitions: 68
Problem file: data/zoo_json_waypoint2/Litnet_4.json
Switches to update: 32

Decomposed topology into 1 subproblems
Topological decomposition took 0.001 seconds
Subproblem verification time: 3.064 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.551 seconds

real 3.86
user 4.76
sys 0.25
