Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint4/Cogentco_2.json -R -O -V Low
DFA generation time: 0.044 seconds 
DFA states: 33 
DFA transitions: 192
Problem file: data/zoo_json_waypoint4/Cogentco_2.json
Switches to update: 100

Decomposed topology into 2 subproblems
Topological decomposition took 0.071 seconds
Subproblem verification time: 0.175 seconds
Subproblem verification time: 0.105 seconds
Minimum batches required: 3
[[185, 133, 32, 169, 168, 167, 162, 173, 75, 183, 158, 196, 38, 12, 13, 15, 14, 129, 107, 105, 106, 103, 104, 382, 330, 229, 366, 365, 364, 359, 370, 272, 380, 355, 393, 235, 209, 210, 212, 211, 326, 304, 302, 303, 300, 301], [37, 77, 143, 234, 274, 340], [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: 0.895 seconds

real 1.22
user 2.58
sys 0.33
