Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/BtNorthAmerica_4.json -E -C -R -O -V Low
DFA generation time: 0.018 seconds 
DFA states: 3 
DFA transitions: 105
Problem file: dataND/zoo_json_MF/BtNorthAmerica_4.json
Switches to update: 88

Decomposed topology into 8 subproblems
Topological decomposition took 0.049 seconds
Subproblem verification time: 2.375 seconds
Subproblem verification time: 0.119 seconds
Subproblem verification time: 0.126 seconds
Subproblem verification time: 0.117 seconds
Subproblem verification time: 0.116 seconds
Subproblem verification time: 0.116 seconds
Subproblem verification time: 0.117 seconds
Subproblem verification time: 0.128 seconds
Minimum batches required: 3
[[21, 2, 15, 7, 17, 27, 55, 36, 49, 41, 51, 61, 89, 70, 83, 75, 85, 95, 123, 104, 117, 109, 119, 129, 157, 138, 151, 143, 153, 163, 191, 172, 185, 177, 187, 197, 225, 206, 219, 211, 221, 231, 259, 240, 253, 245, 255, 265], [22, 33, 56, 67, 90, 101, 124, 135, 158, 169, 192, 203, 226, 237, 260, 271], [4, 8, 1, 38, 42, 35, 72, 76, 69, 106, 110, 103, 140, 144, 137, 174, 178, 171, 208, 212, 205, 242, 246, 239]]
Total program runtime: 3.789 seconds

real 4.10
user 5.88
sys 0.48
