Version: 1.15 
 verifypn-linux64 data/zoo_json_alt_waypoint4/Missouri_3.json -R -O -V Low
DFA generation time: 0.043 seconds 
DFA states: 33 
DFA transitions: 184
Problem file: data/zoo_json_alt_waypoint4/Missouri_3.json
Switches to update: 72

Decomposed topology into 4 subproblems
Topological decomposition took 0.081 seconds
Subproblem verification time: 0.199 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 41.587 seconds
Subproblem verification time: 0.027 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: 42.806 seconds

real 43.11
user 44.51
sys 0.66
