Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Bellcanada_4.json -R -O -V Low
DFA generation time: 0.022 seconds 
DFA states: 3 
DFA transitions: 169
Problem file: dataND/zoo_json_MF/Bellcanada_4.json
Switches to update: 120

Decomposed topology into 8 subproblems
Topological decomposition took 0.059 seconds
Subproblem verification time: 0.192 seconds
Subproblem verification time: 0.035 seconds
Subproblem verification time: 0.035 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.035 seconds
Subproblem verification time: 0.036 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.033 seconds
Minimum batches required: 3
[[33, 15, 27, 38, 47, 45, 34, 29, 13, 81, 63, 75, 86, 95, 93, 82, 77, 61, 129, 111, 123, 134, 143, 141, 130, 125, 109, 177, 159, 171, 182, 191, 189, 178, 173, 157, 225, 207, 219, 230, 239, 237, 226, 221, 205, 273, 255, 267, 278, 287, 285, 274, 269, 253, 321, 303, 315, 326, 335, 333, 322, 317, 301, 369, 351, 363, 374, 383, 381, 370, 365, 349], [14, 30, 62, 78, 110, 126, 158, 174, 206, 222, 254, 270, 302, 318, 350, 366], [31, 35, 40, 12, 79, 83, 88, 60, 127, 131, 136, 108, 175, 179, 184, 156, 223, 227, 232, 204, 271, 275, 280, 252, 319, 323, 328, 300, 367, 371, 376, 348]]
Total program runtime: 1.041 seconds

real 1.35
user 2.98
sys 0.34
