Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Cogentco_4.json -R -O -V Low
DFA generation time: 0.03 seconds 
DFA states: 3 
DFA transitions: 537
Problem file: dataND/zoo_json_MF/Cogentco_4.json
Switches to update: 432

Decomposed topology into 16 subproblems
Topological decomposition took 0.205 seconds
Subproblem verification time: 0.11 seconds
Subproblem verification time: 0.126 seconds
Subproblem verification time: 0.088 seconds
Subproblem verification time: 0.118 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.114 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.111 seconds
Subproblem verification time: 0.027 seconds
Subproblem verification time: 0.115 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.113 seconds
Subproblem verification time: 0.027 seconds
Subproblem verification time: 0.115 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.122 seconds
Minimum batches required: 3
[[40, 142, 133, 2, 35, 130, 131, 5, 6, 4, 3, 173, 75, 183, 158, 196, 38, 30, 127, 76, 237, 339, 330, 199, 232, 327, 328, 202, 203, 201, 200, 370, 272, 380, 355, 393, 235, 227, 324, 273, 434, 536, 527, 396, 429, 524, 525, 399, 400, 398, 397, 567, 469, 577, 552, 590, 432, 424, 521, 470, 631, 733, 724, 593, 626, 721, 722, 596, 597, 595, 594, 764, 666, 774, 749, 787, 629, 621, 718, 667, 828, 930, 921, 790, 823, 918, 919, 793, 794, 792, 791, 961, 863, 971, 946, 984, 826, 818, 915, 864, 1025, 1127, 1118, 987, 1020, 1115, 1116, 990, 991, 989, 988, 1158, 1060, 1168, 1143, 1181, 1023, 1015, 1112, 1061, 1222, 1324, 1315, 1184, 1217, 1312, 1313, 1187, 1188, 1186, 1185, 1355, 1257, 1365, 1340, 1378, 1220, 1212, 1309, 1258, 1419, 1521, 1512, 1381, 1414, 1509, 1510, 1384, 1385, 1383, 1382, 1552, 1454, 1562, 1537, 1575, 1417, 1409, 1506, 1455], [41, 129, 37, 77, 143, 238, 326, 234, 274, 340, 435, 523, 431, 471, 537, 632, 720, 628, 668, 734, 829, 917, 825, 865, 931, 1026, 1114, 1022, 1062, 1128, 1223, 1311, 1219, 1259, 1325, 1420, 1508, 1416, 1456, 1522], [43, 185, 169, 168, 167, 162, 152, 153, 154, 148, 83, 82, 150, 149, 144, 69, 60, 61, 19, 68, 64, 67, 160, 32, 107, 105, 106, 103, 104, 240, 382, 366, 365, 364, 359, 349, 350, 351, 345, 280, 279, 347, 346, 341, 266, 257, 258, 216, 265, 261, 264, 357, 229, 304, 302, 303, 300, 301, 437, 579, 563, 562, 561, 556, 546, 547, 548, 542, 477, 476, 544, 543, 538, 463, 454, 455, 413, 462, 458, 461, 554, 426, 501, 499, 500, 497, 498, 634, 776, 760, 759, 758, 753, 743, 744, 745, 739, 674, 673, 741, 740, 735, 660, 651, 652, 610, 659, 655, 658, 751, 623, 698, 696, 697, 694, 695, 831, 973, 957, 956, 955, 950, 940, 941, 942, 936, 871, 870, 938, 937, 932, 857, 848, 849, 807, 856, 852, 855, 948, 820, 895, 893, 894, 891, 892, 1028, 1170, 1154, 1153, 1152, 1147, 1137, 1138, 1139, 1133, 1068, 1067, 1135, 1134, 1129, 1054, 1045, 1046, 1004, 1053, 1049, 1052, 1145, 1017, 1092, 1090, 1091, 1088, 1089, 1225, 1367, 1351, 1350, 1349, 1344, 1334, 1335, 1336, 1330, 1265, 1264, 1332, 1331, 1326, 1251, 1242, 1243, 1201, 1250, 1246, 1249, 1342, 1214, 1289, 1287, 1288, 1285, 1286, 1422, 1564, 1548, 1547, 1546, 1541, 1531, 1532, 1533, 1527, 1462, 1461, 1529, 1528, 1523, 1448, 1439, 1440, 1398, 1447, 1443, 1446, 1539, 1411, 1486, 1484, 1485, 1482, 1483]]
Total program runtime: 2.356 seconds

real 2.66
user 5.71
sys 0.69
