Version: 1.15 
 verifypn-linux64 data/zoo_json_cond_enf2/Cogentco_4.json -R -O -V Low
DFA generation time: 0.055 seconds 
DFA states: 19 
DFA transitions: 1365
Problem file: data/zoo_json_cond_enf2/Cogentco_4.json
Switches to update: 192

Decomposed topology into 24 subproblems
Topological decomposition took 0.226 seconds
Subproblem verification time: 0.119 seconds
Subproblem verification time: 0.035 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.026 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.031 seconds
Minimum batches required: 3
[[40, 152, 146, 19, 68, 64, 14, 129, 130, 127, 128, 230, 342, 336, 209, 258, 254, 204, 319, 320, 317, 318, 420, 532, 526, 399, 448, 444, 394, 509, 510, 507, 508, 610, 722, 716, 589, 638, 634, 584, 699, 700, 697, 698, 800, 912, 906, 779, 828, 824, 774, 889, 890, 887, 888, 990, 1102, 1096, 969, 1018, 1014, 964, 1079, 1080, 1077, 1078, 1180, 1292, 1286, 1159, 1208, 1204, 1154, 1269, 1270, 1267, 1268, 1370, 1482, 1476, 1349, 1398, 1394, 1344, 1459, 1460, 1457, 1458], [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, 133, 173, 75, 183, 150, 149, 144, 69, 60, 233, 323, 363, 265, 373, 340, 339, 334, 259, 250, 423, 513, 553, 455, 563, 530, 529, 524, 449, 440, 613, 703, 743, 645, 753, 720, 719, 714, 639, 630, 803, 893, 933, 835, 943, 910, 909, 904, 829, 820, 993, 1083, 1123, 1025, 1133, 1100, 1099, 1094, 1019, 1010, 1183, 1273, 1313, 1215, 1323, 1290, 1289, 1284, 1209, 1200, 1373, 1463, 1503, 1405, 1513, 1480, 1479, 1474, 1399, 1390]]
Total program runtime: 1.836 seconds

real 2.17
user 4.66
sys 0.66
