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

Decomposed topology into 8 subproblems
Topological decomposition took 0.047 seconds
Subproblem verification time: 0.148 seconds
Subproblem verification time: 0.067 seconds
Subproblem verification time: 0.063 seconds
Subproblem verification time: 0.059 seconds
Subproblem verification time: 0.066 seconds
Subproblem verification time: 0.063 seconds
Subproblem verification time: 0.061 seconds
Subproblem verification time: 0.064 seconds
Minimum batches required: 3
[[8, 49, 58, 99, 108, 149, 158, 199, 208, 249, 258, 299, 308, 349, 358, 399], [12, 62, 112, 162, 212, 262, 312, 362], [16, 43, 66, 93, 116, 143, 166, 193, 216, 243, 266, 293, 316, 343, 366, 393]]
Total program runtime: 1.19 seconds

real 1.49
user 2.55
sys 0.37
