Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Missouri_3.json -R -O -V Low
DFA generation time: 0.022 seconds 
DFA states: 3 
DFA transitions: 53
Problem file: data/zoo_json_reachability/Missouri_3.json
Switches to update: 40

Decomposed topology into 4 subproblems
Topological decomposition took 0.032 seconds
Subproblem verification time: 0.172 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.039 seconds
Subproblem verification time: 0.035 seconds
Minimum batches required: 3
[[11, 10, 75, 74, 139, 138, 203, 202], [4, 14, 68, 78, 132, 142, 196, 206], [29, 55, 48, 5, 7, 34, 93, 119, 112, 69, 71, 98, 157, 183, 176, 133, 135, 162, 221, 247, 240, 197, 199, 226]]
Total program runtime: 0.811 seconds

real 1.17
user 2.03
sys 0.23
