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

Decomposed topology into 4 subproblems
Topological decomposition took 0.035 seconds
Subproblem verification time: 0.116 seconds
Subproblem verification time: 0.036 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.032 seconds
Minimum batches required: 3
[[35, 37, 55, 10, 95, 97, 115, 70, 155, 157, 175, 130, 215, 217, 235, 190], [34, 94, 154, 214], [14, 49, 18, 74, 109, 78, 134, 169, 138, 194, 229, 198]]
Total program runtime: 0.721 seconds

real 1.04
user 1.89
sys 0.26
