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

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

real 1.39
user 2.70
sys 0.37
