Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint8/Litnet_4.json -T -R -O -V Low
DFA generation time: 0.153 seconds 
DFA states: 513 
DFA transitions: 2360
Problem file: data/zoo_json_waypoint8/Litnet_4.json
Switches to update: 32

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

real 100.12
user 102.77
sys 0.66
