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

Decomposed topology into 8 subproblems
Topological decomposition took 0.044 seconds
Subproblem verification time: 0.147 seconds
Subproblem verification time: 0.058 seconds
Subproblem verification time: 0.059 seconds
Subproblem verification time: 0.061 seconds
Subproblem verification time: 0.065 seconds
Subproblem verification time: 0.057 seconds
Subproblem verification time: 0.063 seconds
Subproblem verification time: 0.063 seconds
Minimum batches required: 3
[[8, 41, 59, 92, 110, 143, 161, 194, 212, 245, 263, 296, 314, 347, 365, 398], [12, 63, 114, 165, 216, 267, 318, 369], [16, 44, 67, 95, 118, 146, 169, 197, 220, 248, 271, 299, 322, 350, 373, 401]]
Total program runtime: 1.15 seconds

real 1.50
user 2.52
sys 0.46
