Version: 1.15 
 verifypn-linux64 data/zoo_json_alt_waypoint4/Garr201012_4.json -R -O -V Low
DFA generation time: 0.041 seconds 
DFA states: 33 
DFA transitions: 184
Problem file: data/zoo_json_alt_waypoint4/Garr201012_4.json
Switches to update: 72

Decomposed topology into 7 subproblems
Topological decomposition took 0.077 seconds
Subproblem verification time: 0.396 seconds
Subproblem verification time: 0.052 seconds
Subproblem verification time: 0.061 seconds
Subproblem verification time: 0.067 seconds
Subproblem verification time: 0.055 seconds
Subproblem verification time: 0.057 seconds
Subproblem verification time: 0.057 seconds
Minimum batches required: 3
[[87, 68, 32, 13, 4, 59, 8, 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], [105, 50, 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.41 seconds

real 1.72
user 3.21
sys 0.49
