Version: 1.15 
 verifypn-linux64 data/zoo_json_cond_enf1/Bellcanada_3.json -E -C -R -O -V Low
DFA generation time: 0.023 seconds 
DFA states: 7 
DFA transitions: 189
Problem file: data/zoo_json_cond_enf1/Bellcanada_3.json
Switches to update: 60

Decomposed topology into 7 subproblems
Topological decomposition took 0.048 seconds
Subproblem verification time: 0.133 seconds
Subproblem verification time: 0.222 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.155 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.144 seconds
Subproblem verification time: 0.753 seconds
Minimum batches required: 3
[[28, 29, 13, 1, 2, 39, 27, 36, 31, 69, 70, 54, 42, 43, 80, 68, 77, 72, 110, 111, 95, 83, 84, 121, 109, 118, 113, 124, 125, 162, 150, 159, 151, 152, 136, 154], [14, 33, 30, 35, 55, 74, 71, 76, 96, 115, 112, 117, 156, 153, 158, 137], [7, 4, 48, 45, 89, 86, 130, 127]]
Total program runtime: 2.072 seconds

real 2.43
user 4.15
sys 0.42
