Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Garr201012_4.json -E -C -R -O -V Low
DFA generation time: 0.022 seconds 
DFA states: 3 
DFA transitions: 81
Problem file: data/zoo_json_reachability/Garr201012_4.json
Switches to update: 48

Decomposed topology into 8 subproblems
Topological decomposition took 0.043 seconds
Subproblem verification time: 0.195 seconds
Subproblem verification time: 0.069 seconds
Subproblem verification time: 0.068 seconds
Subproblem verification time: 0.065 seconds
Subproblem verification time: 0.061 seconds
Subproblem verification time: 0.067 seconds
Subproblem verification time: 0.073 seconds
Subproblem verification time: 0.058 seconds
Minimum batches required: 3
[[12, 8, 63, 59, 114, 110, 165, 161, 216, 212, 267, 263, 318, 314, 369, 365], [50, 19, 101, 70, 152, 121, 203, 172, 254, 223, 305, 274, 356, 325, 407, 376], [32, 16, 83, 67, 134, 118, 185, 169, 236, 220, 287, 271, 338, 322, 389, 373]]
Total program runtime: 1.225 seconds

real 1.59
user 2.82
sys 0.44
