Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint2/Garr200908_4.json -E -C -R -O -V Low
DFA generation time: 0.026 seconds 
DFA states: 9 
DFA transitions: 124
Problem file: data/zoo_json_waypoint2/Garr200908_4.json
Switches to update: 80

Decomposed topology into 8 subproblems
Topological decomposition took 0.056 seconds
Subproblem verification time: 0.815 seconds
Subproblem verification time: 0.134 seconds
Subproblem verification time: 0.132 seconds
Subproblem verification time: 0.138 seconds
Subproblem verification time: 0.13 seconds
Subproblem verification time: 0.125 seconds
Subproblem verification time: 0.131 seconds
Subproblem verification time: 0.13 seconds
Minimum batches required: 3
[[29, 24, 39, 8, 82, 77, 92, 61, 135, 130, 145, 114, 188, 183, 198, 167, 241, 236, 251, 220, 294, 289, 304, 273, 347, 342, 357, 326, 400, 395, 410, 379], [19, 72, 125, 178, 231, 284, 337, 390], [31, 33, 52, 48, 16, 84, 86, 105, 101, 69, 137, 139, 158, 154, 122, 190, 192, 211, 207, 175, 243, 245, 264, 260, 228, 296, 298, 317, 313, 281, 349, 351, 370, 366, 334, 402, 404, 423, 419, 387]]
Total program runtime: 2.309 seconds

real 2.62
user 4.59
sys 0.40
