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

Decomposed topology into 8 subproblems
Topological decomposition took 0.054 seconds
Subproblem verification time: 0.16 seconds
Subproblem verification time: 0.068 seconds
Subproblem verification time: 0.057 seconds
Subproblem verification time: 0.062 seconds
Subproblem verification time: 0.063 seconds
Subproblem verification time: 0.058 seconds
Subproblem verification time: 0.062 seconds
Subproblem verification time: 0.064 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.233 seconds

real 1.62
user 2.98
sys 0.51
