Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Cogentco_4.json -R -O -V Low
DFA generation time: 0.029 seconds 
DFA states: 3 
DFA transitions: 433
Problem file: data/zoo_json_reachability/Cogentco_4.json
Switches to update: 360

Decomposed topology into 16 subproblems
Topological decomposition took 0.186 seconds
Subproblem verification time: 0.119 seconds
Subproblem verification time: 0.057 seconds
Subproblem verification time: 0.035 seconds
Subproblem verification time: 0.042 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.042 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.042 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.039 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.038 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.038 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.037 seconds
Minimum batches required: 3
[[40, 142, 133, 131, 5, 6, 4, 3, 173, 75, 183, 158, 196, 38, 37, 35, 30, 12, 13, 15, 14, 129, 130, 127, 237, 339, 330, 328, 202, 203, 201, 200, 370, 272, 380, 355, 393, 235, 234, 232, 227, 209, 210, 212, 211, 326, 327, 324, 434, 536, 527, 525, 399, 400, 398, 397, 567, 469, 577, 552, 590, 432, 431, 429, 424, 406, 407, 409, 408, 523, 524, 521, 631, 733, 724, 722, 596, 597, 595, 594, 764, 666, 774, 749, 787, 629, 628, 626, 621, 603, 604, 606, 605, 720, 721, 718, 828, 930, 921, 919, 793, 794, 792, 791, 961, 863, 971, 946, 984, 826, 825, 823, 818, 800, 801, 803, 802, 917, 918, 915, 1025, 1127, 1118, 1116, 990, 991, 989, 988, 1158, 1060, 1168, 1143, 1181, 1023, 1022, 1020, 1015, 997, 998, 1000, 999, 1114, 1115, 1112, 1222, 1324, 1315, 1313, 1187, 1188, 1186, 1185, 1355, 1257, 1365, 1340, 1378, 1220, 1219, 1217, 1212, 1194, 1195, 1197, 1196, 1311, 1312, 1309, 1419, 1521, 1512, 1510, 1384, 1385, 1383, 1382, 1552, 1454, 1562, 1537, 1575, 1417, 1416, 1414, 1409, 1391, 1392, 1394, 1393, 1508, 1509, 1506], [41, 77, 143, 238, 274, 340, 435, 471, 537, 632, 668, 734, 829, 865, 931, 1026, 1062, 1128, 1223, 1259, 1325, 1420, 1456, 1522], [43, 185, 169, 168, 167, 162, 152, 153, 154, 148, 83, 82, 150, 149, 144, 69, 60, 61, 240, 382, 366, 365, 364, 359, 349, 350, 351, 345, 280, 279, 347, 346, 341, 266, 257, 258, 437, 579, 563, 562, 561, 556, 546, 547, 548, 542, 477, 476, 544, 543, 538, 463, 454, 455, 634, 776, 760, 759, 758, 753, 743, 744, 745, 739, 674, 673, 741, 740, 735, 660, 651, 652, 831, 973, 957, 956, 955, 950, 940, 941, 942, 936, 871, 870, 938, 937, 932, 857, 848, 849, 1028, 1170, 1154, 1153, 1152, 1147, 1137, 1138, 1139, 1133, 1068, 1067, 1135, 1134, 1129, 1054, 1045, 1046, 1225, 1367, 1351, 1350, 1349, 1344, 1334, 1335, 1336, 1330, 1265, 1264, 1332, 1331, 1326, 1251, 1242, 1243, 1422, 1564, 1548, 1547, 1546, 1541, 1531, 1532, 1533, 1527, 1462, 1461, 1529, 1528, 1523, 1448, 1439, 1440]]
Total program runtime: 1.631 seconds

real 1.96
user 4.74
sys 0.59
