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

Decomposed topology into 1 subproblems
Topological decomposition took 0.0 seconds
Subproblem verification time: 1.877 seconds
Minimum batches required: 3
[[11, 10, 75, 74, 139, 138, 203, 202], [196, 206, 132, 142, 68, 78, 4, 14], [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: 2.329 seconds

real 2.62
user 3.53
sys 0.19
