Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/WideJpn_4.json -E -C -R -O -V Low
DFA generation time: 0.018 seconds 
DFA states: 3 
DFA transitions: 97
Problem file: data/zoo_json_reachability/WideJpn_4.json
Switches to update: 72

Decomposed topology into 8 subproblems
Topological decomposition took 0.053 seconds
Subproblem verification time: 0.518 seconds
Subproblem verification time: 0.182 seconds
Subproblem verification time: 0.18 seconds
Subproblem verification time: 0.172 seconds
Subproblem verification time: 0.174 seconds
Subproblem verification time: 0.17 seconds
Subproblem verification time: 0.171 seconds
Subproblem verification time: 0.192 seconds
Minimum batches required: 3
[[6, 10, 36, 40, 66, 70, 96, 100, 126, 130, 156, 160, 186, 190, 216, 220], [23, 24, 0, 53, 54, 30, 83, 84, 60, 113, 114, 90, 143, 144, 120, 173, 174, 150, 203, 204, 180, 233, 234, 210], [22, 21, 2, 1, 52, 51, 32, 31, 82, 81, 62, 61, 112, 111, 92, 91, 142, 141, 122, 121, 172, 171, 152, 151, 202, 201, 182, 181, 232, 231, 212, 211]]
Total program runtime: 2.381 seconds

real 2.73
user 4.26
sys 0.47
