Version: 1.15 
 verifypn-linux64 data/zoo_json_alt_waypoint2/Missouri_3.json -R -O -V Low
DFA generation time: 0.024 seconds 
DFA states: 9 
DFA transitions: 116
Problem file: data/zoo_json_alt_waypoint2/Missouri_3.json
Switches to update: 72

Decomposed topology into 4 subproblems
Topological decomposition took 0.059 seconds
Subproblem verification time: 0.211 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 35.063 seconds
Subproblem verification time: 0.03 seconds
Minimum batches required: 5
[[59, 53, 60, 61, 62, 1, 54, 46, 51, 50, 41, 175, 108, 126, 120, 193, 187, 260, 254, 127, 128, 129, 68, 121, 113, 118, 117, 194, 195, 196, 135, 188, 180, 185, 184, 261, 262, 263, 202, 255, 247, 252, 251, 242], [66, 2, 44, 267, 200, 136, 133, 245], [64, 264, 265, 198, 130, 131], [63, 57, 65, 203, 197, 69], [124, 132, 111, 191, 199, 178, 258, 266]]
Total program runtime: 35.945 seconds

real 36.27
user 37.68
sys 0.69
