Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Bellcanada_4.json -T -R -O -V Low
DFA generation time: 0.022 seconds 
DFA states: 3 
DFA transitions: 161
Problem file: data/zoo_json_reachability/Bellcanada_4.json
Switches to update: 104

Decomposed topology into 1 subproblems
Topological decomposition took 0.0 seconds
Subproblem verification time: 6.582 seconds
Minimum batches required: 3
[[33, 81, 129, 177, 225, 273, 321, 369, 27, 38, 47, 45, 34, 29, 13, 75, 86, 95, 93, 82, 77, 61, 123, 134, 143, 141, 130, 125, 109, 171, 182, 191, 189, 178, 173, 157, 219, 230, 239, 237, 226, 221, 205, 267, 278, 287, 285, 274, 269, 253, 315, 326, 335, 333, 322, 317, 301, 363, 374, 383, 381, 370, 365, 349], [366, 318, 270, 222, 174, 126, 78, 30], [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: 7.186 seconds

real 7.52
user 9.78
sys 0.41
