Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint8/Cogentco_4.json -E -C -R -O -V Low
DFA generation time: 0.315 seconds 
DFA states: 513 
DFA transitions: 2640
Problem file: data/zoo_json_waypoint8/Cogentco_4.json
Switches to update: 192

Decomposed topology into 24 subproblems
Topological decomposition took 0.582 seconds
Subproblem verification time: 0.107 seconds
Subproblem verification time: 0.082 seconds
Subproblem verification time: 0.258 seconds
Subproblem verification time: 0.025 seconds
Subproblem verification time: 0.078 seconds
Subproblem verification time: 0.289 seconds
Subproblem verification time: 0.026 seconds
Subproblem verification time: 0.08 seconds
Subproblem verification time: 0.293 seconds
Subproblem verification time: 0.026 seconds
Subproblem verification time: 0.072 seconds
Subproblem verification time: 0.26 seconds
Subproblem verification time: 0.025 seconds
Subproblem verification time: 0.079 seconds
Subproblem verification time: 0.252 seconds
Subproblem verification time: 0.021 seconds
Subproblem verification time: 0.076 seconds
Subproblem verification time: 0.268 seconds
Subproblem verification time: 0.026 seconds
Subproblem verification time: 0.077 seconds
Subproblem verification time: 0.254 seconds
Subproblem verification time: 0.027 seconds
Subproblem verification time: 0.077 seconds
Subproblem verification time: 0.29 seconds
Minimum batches required: 3
[[40, 146, 152, 128, 127, 130, 129, 14, 64, 68, 19, 230, 336, 342, 318, 317, 320, 319, 204, 254, 258, 209, 420, 526, 532, 508, 507, 510, 509, 394, 444, 448, 399, 610, 716, 722, 698, 697, 700, 699, 584, 634, 638, 589, 800, 906, 912, 888, 887, 890, 889, 774, 824, 828, 779, 990, 1096, 1102, 1078, 1077, 1080, 1079, 964, 1014, 1018, 969, 1180, 1286, 1292, 1268, 1267, 1270, 1269, 1154, 1204, 1208, 1159, 1370, 1476, 1482, 1458, 1457, 1460, 1459, 1344, 1394, 1398, 1349], [41, 77, 82, 231, 267, 272, 421, 457, 462, 611, 647, 652, 801, 837, 842, 991, 1027, 1032, 1181, 1217, 1222, 1371, 1407, 1412], [43, 183, 75, 173, 133, 60, 69, 144, 149, 150, 233, 373, 265, 363, 323, 250, 259, 334, 339, 340, 423, 563, 455, 553, 513, 440, 449, 524, 529, 530, 613, 753, 645, 743, 703, 630, 639, 714, 719, 720, 803, 943, 835, 933, 893, 820, 829, 904, 909, 910, 993, 1133, 1025, 1123, 1083, 1010, 1019, 1094, 1099, 1100, 1183, 1323, 1215, 1313, 1273, 1200, 1209, 1284, 1289, 1290, 1373, 1513, 1405, 1503, 1463, 1390, 1399, 1474, 1479, 1480]]
Total program runtime: 4.815 seconds

real 5.11
user 9.53
sys 0.98
