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

Decomposed topology into 8 subproblems
Topological decomposition took 0.077 seconds
Subproblem verification time: 0.221 seconds
Subproblem verification time: 0.025 seconds
Subproblem verification time: 0.079 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.073 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.073 seconds
Subproblem verification time: 0.028 seconds
Minimum batches required: 3
[[17, 68, 72, 66, 64, 126, 63, 125, 74, 117, 118, 30, 12, 141, 14, 51, 170, 221, 225, 219, 217, 279, 216, 278, 227, 270, 271, 183, 165, 294, 167, 204, 323, 374, 378, 372, 370, 432, 369, 431, 380, 423, 424, 336, 318, 447, 320, 357, 476, 527, 531, 525, 523, 585, 522, 584, 533, 576, 577, 489, 471, 600, 473, 510], [152, 81, 53, 305, 234, 206, 458, 387, 359, 611, 540, 512], [107, 111, 112, 109, 138, 82, 123, 139, 115, 78, 142, 18, 15, 132, 143, 134, 135, 260, 264, 265, 262, 291, 235, 276, 292, 268, 231, 295, 171, 168, 285, 296, 287, 288, 413, 417, 418, 415, 444, 388, 429, 445, 421, 384, 448, 324, 321, 438, 449, 440, 441, 566, 570, 571, 568, 597, 541, 582, 598, 574, 537, 601, 477, 474, 591, 602, 593, 594]]
Total program runtime: 1.28 seconds

real 1.63
user 3.27
sys 0.50
