Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint8/Cogentco_2.json -T -R -O -V Low
DFA generation time: 0.18 seconds 
DFA states: 513 
DFA transitions: 2416
Problem file: data/zoo_json_waypoint8/Cogentco_2.json
Switches to update: 100

Decomposed topology into 1 subproblems
Topological decomposition took 0.0 seconds
Subproblem verification time: 29.401 seconds
Minimum batches required: 3
[[185, 133, 32, 382, 330, 229, 169, 168, 167, 162, 173, 75, 183, 158, 196, 38, 12, 13, 15, 14, 129, 107, 105, 106, 103, 104, 366, 365, 364, 359, 370, 272, 380, 355, 393, 235, 209, 210, 212, 211, 326, 304, 302, 303, 300, 301], [234, 274, 340, 37, 77, 143], [142, 131, 5, 6, 4, 3, 152, 153, 160, 35, 30, 18, 19, 89, 150, 149, 144, 69, 60, 61, 128, 110, 109, 102, 339, 328, 202, 203, 201, 200, 349, 350, 357, 232, 227, 215, 216, 286, 347, 346, 341, 266, 257, 258, 325, 307, 306, 299]]
Total program runtime: 41.631 seconds

real 41.94
user 45.46
sys 0.64
