Version: 1.15 
 verifypn-linux64 data/zoo_json_cond_enf2/Cogentco_4.json -E -C -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.231 seconds
Subproblem verification time: 0.116 seconds
Subproblem verification time: 0.087 seconds
Subproblem verification time: 0.243 seconds
Subproblem verification time: 0.026 seconds
Subproblem verification time: 0.078 seconds
Subproblem verification time: 0.236 seconds
Subproblem verification time: 0.054 seconds
Subproblem verification time: 0.076 seconds
Subproblem verification time: 0.223 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.075 seconds
Subproblem verification time: 0.238 seconds
Subproblem verification time: 0.027 seconds
Subproblem verification time: 0.077 seconds
Subproblem verification time: 0.226 seconds
Subproblem verification time: 0.025 seconds
Subproblem verification time: 0.07 seconds
Subproblem verification time: 0.224 seconds
Subproblem verification time: 0.027 seconds
Subproblem verification time: 0.075 seconds
Subproblem verification time: 0.217 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.071 seconds
Subproblem verification time: 0.214 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: 3.855 seconds

real 4.16
user 6.30
sys 1.02
