Version: 1.15 
 verifypn-linux64 data/zoo_json_alt_waypoint1/Garr201012_4.json -R -O -V Low
DFA generation time: 0.02 seconds 
DFA states: 5 
DFA transitions: 108
Problem file: data/zoo_json_alt_waypoint1/Garr201012_4.json
Switches to update: 72

Decomposed topology into 8 subproblems
Topological decomposition took 0.053 seconds
Subproblem verification time: 0.152 seconds
Subproblem verification time: 0.058 seconds
Subproblem verification time: 0.061 seconds
Subproblem verification time: 0.067 seconds
Subproblem verification time: 0.06 seconds
Subproblem verification time: 0.064 seconds
Subproblem verification time: 0.062 seconds
Subproblem verification time: 0.058 seconds
Minimum batches required: 3
[[32, 13, 4, 8, 87, 68, 59, 63, 142, 123, 114, 118, 197, 178, 169, 173, 252, 233, 224, 228, 307, 288, 279, 283, 362, 343, 334, 338, 417, 398, 389, 393], [50, 105, 160, 215, 270, 325, 380, 435], [30, 35, 54, 16, 85, 90, 109, 71, 140, 145, 164, 126, 195, 200, 219, 181, 250, 255, 274, 236, 305, 310, 329, 291, 360, 365, 384, 346, 415, 420, 439, 401]]
Total program runtime: 1.191 seconds

real 1.52
user 2.92
sys 0.46
