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

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

real 1.24
user 2.64
sys 0.33
