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

Decomposed topology into 8 subproblems
Topological decomposition took 0.045 seconds
Subproblem verification time: 0.548 seconds
Subproblem verification time: 0.104 seconds
Subproblem verification time: 0.097 seconds
Subproblem verification time: 0.099 seconds
Subproblem verification time: 0.093 seconds
Subproblem verification time: 0.096 seconds
Subproblem verification time: 0.092 seconds
Subproblem verification time: 0.092 seconds
Minimum batches required: 3
[[15, 7, 17, 27, 49, 41, 51, 61, 83, 75, 85, 95, 117, 109, 119, 129, 151, 143, 153, 163, 185, 177, 187, 197, 219, 211, 221, 231, 253, 245, 255, 265], [33, 67, 101, 135, 169, 203, 237, 271], [4, 8, 1, 22, 38, 42, 35, 56, 72, 76, 69, 90, 106, 110, 103, 124, 140, 144, 137, 158, 174, 178, 171, 192, 208, 212, 205, 226, 242, 246, 239, 260]]
Total program runtime: 1.817 seconds

real 2.15
user 3.62
sys 0.36
