Version: 1.15 
 verifypn-linux64 data/zoo_json_alt_waypoint1/Colt_3.json -R -O -V Low
DFA generation time: 0.024 seconds 
DFA states: 5 
DFA transitions: 160
Problem file: data/zoo_json_alt_waypoint1/Colt_3.json
Switches to update: 124

Decomposed topology into 8 subproblems
Topological decomposition took 0.085 seconds
Subproblem verification time: 0.17 seconds
Subproblem verification time: 0.292 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.088 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.095 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.083 seconds
Minimum batches required: 5
[[111, 112, 109, 51, 118, 136, 264, 265, 262, 204, 271, 289, 417, 418, 415, 357, 424, 442, 570, 571, 568, 510, 577, 595], [107, 17, 139, 260, 170, 292, 413, 323, 445, 566, 476, 598], [81, 68, 66, 12, 141, 14, 234, 221, 219, 165, 294, 167, 387, 374, 372, 318, 447, 320, 540, 527, 525, 471, 600, 473], [30, 183, 336, 489], [115, 78, 142, 18, 15, 132, 143, 119, 13, 10, 11, 5, 144, 2, 53, 268, 231, 295, 171, 168, 285, 296, 272, 166, 163, 164, 158, 297, 155, 206, 421, 384, 448, 324, 321, 438, 449, 425, 319, 316, 317, 311, 450, 308, 359, 574, 537, 601, 477, 474, 591, 602, 578, 472, 469, 470, 464, 603, 461, 512]]
Total program runtime: 1.54 seconds

real 1.90
user 3.61
sys 0.44
