Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Garr201111_3.json -E -C -R -O -V Low
DFA generation time: 0.02 seconds 
DFA states: 3 
DFA transitions: 49
Problem file: data/zoo_json_reachability/Garr201111_3.json
Switches to update: 28

Decomposed topology into 4 subproblems
Topological decomposition took 0.041 seconds
Subproblem verification time: 0.205 seconds
Subproblem verification time: 0.074 seconds
Subproblem verification time: 0.077 seconds
Subproblem verification time: 0.065 seconds
Minimum batches required: 3
[[34, 54, 10, 93, 113, 69, 152, 172, 128, 211, 231, 187], [14, 21, 73, 80, 132, 139, 191, 198], [48, 18, 107, 77, 166, 136, 225, 195]]
Total program runtime: 0.978 seconds

real 1.28
user 2.19
sys 0.31
