Version: 1.15 
 verifypn-linux64 data/zoo_json_alt_waypoint1/Garr201111_4.json -R -O -V Low
DFA generation time: 0.022 seconds 
DFA states: 5 
DFA transitions: 116
Problem file: data/zoo_json_alt_waypoint1/Garr201111_4.json
Switches to update: 64

Decomposed topology into 8 subproblems
Topological decomposition took 0.055 seconds
Subproblem verification time: 0.11 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.027 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.032 seconds
Minimum batches required: 3
[[14, 48, 18, 70, 104, 74, 126, 160, 130, 182, 216, 186, 238, 272, 242, 294, 328, 298, 350, 384, 354, 406, 440, 410], [34, 90, 146, 202, 258, 314, 370, 426], [55, 36, 54, 10, 111, 92, 110, 66, 167, 148, 166, 122, 223, 204, 222, 178, 279, 260, 278, 234, 335, 316, 334, 290, 391, 372, 390, 346, 447, 428, 446, 402]]
Total program runtime: 0.926 seconds

real 1.28
user 2.66
sys 0.31
