Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Bellcanada_4.json -E -C -R -O -V Low
DFA generation time: 0.02 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.067 seconds
Subproblem verification time: 18.129 seconds
Subproblem verification time: 0.165 seconds
Subproblem verification time: 0.159 seconds
Subproblem verification time: 0.159 seconds
Subproblem verification time: 0.158 seconds
Subproblem verification time: 0.158 seconds
Subproblem verification time: 0.16 seconds
Subproblem verification time: 0.177 seconds
Minimum batches required: 3
[[13, 29, 34, 45, 47, 38, 27, 33, 61, 77, 82, 93, 95, 86, 75, 81, 109, 125, 130, 141, 143, 134, 123, 129, 157, 173, 178, 189, 191, 182, 171, 177, 205, 221, 226, 237, 239, 230, 219, 225, 253, 269, 274, 285, 287, 278, 267, 273, 301, 317, 322, 333, 335, 326, 315, 321, 349, 365, 370, 381, 383, 374, 363, 369], [30, 78, 126, 174, 222, 270, 318, 366], [12, 40, 35, 31, 60, 88, 83, 79, 108, 136, 131, 127, 156, 184, 179, 175, 204, 232, 227, 223, 252, 280, 275, 271, 300, 328, 323, 319, 348, 376, 371, 367]]
Total program runtime: 19.928 seconds

real 20.23
user 21.63
sys 0.74
