generated bobsm5378d2_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 189 33 377 1850 38.608467 14.899471 5.222222 88 7 13 1 6.636364 4352.848633 11122 0 10923 114401.210938 least-occurring-first 1 0 0 0 0 200 0 0 0 0 generated bobsm5378d2_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 131 33 277 1314 38.702290 15.679389 5.793893 80 3 13 1 4.878788 3334.878906 6963 0 6799 90855.390625 least-occurring-first 1 0 0 0 0 165 0 0 0 0 generated bobsm9234_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 230 33 551 3353 49.086956 16.647825 2.517391 303 5 8 1 7.787879 2346.818115 2080 0 1869 25135.818359 least-occurring-first 1 0 0 0 0 211 0 0 0 0 generated bobsm9234_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 220 33 517 3628 57.318180 17.450001 2.672727 306 5 8 1 7.484848 9792.515625 20104 0 19599 197678.781250 least-occurring-first 0 0 0 0 0 505 0 0 0 0 generated bobsmcodic_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 2533 33 3733 31379 66.608368 18.206079 1.139755 188 9 17 1 77.727272 1131.212158 4599 0 2321 31684.363281 least-occurring-first 1 0 0 0 0 2283 0 0 0 0 generated bobsmcodic_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 2512 33 3733 31358 66.333595 18.158041 1.117436 190 9 17 1 77.090912 336.909088 2744 0 358 6264.242188 least-occurring-first 0 0 0 0 0 2391 0 0 0 0 generated bobsmfpu_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 354 117 596 17789 1838.940674 20.700565 1.132768 14611 7 48 1 3.427351 6546.461426 5893 0 2815 6546.461426 least-occurring-first 0 0 0 0 0 3121 0 0 0 0 generated bobsmfpu_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 254 117 409 16301 1076.720459 14.118111 1.185039 14549 3 48 1 2.572649 4375.880371 2976 0 1576 4375.880371 least-occurring-first 0 0 0 0 0 1420 0 0 0 0 generated bobsmhdlc1_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 197 48 464 2531 34.461929 12.822335 1.781726 238 9 7 1 5.083333 1501.875000 8352 0 8139 47143.394531 least-occurring-first 0 0 0 0 0 213 0 0 0 0 generated bobsmhdlc1_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 234 48 447 2560 32.692307 12.153846 1.666667 234 9 7 1 5.854167 1270.437500 7060 0 6771 40482.187500 least-occurring-first 0 0 0 0 0 290 0 0 0 0 generated bobsmhdlc2_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 199 48 464 2527 36.190956 13.587939 1.738693 237 10 7 1 5.125000 1008.333313 6023 0 5813 30827.333984 least-occurring-first 0 0 0 0 0 210 0 0 0 0 generated bobsmhdlc2_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 194 48 447 2598 36.067009 13.036082 1.768041 233 9 7 1 5.020833 939.083313 4361 0 4164 28871.875000 least-occurring-first 0 0 0 0 0 197 0 0 0 0 generated bobsmhdlc3_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 200 48 476 2564 34.180000 12.675000 1.750000 259 9 8 1 5.145833 1152.500000 5802 0 5593 36650.937500 least-occurring-first 0 0 0 0 0 209 0 0 0 0 generated bobsmhdlc3_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 200 48 459 2572 35.215000 12.790000 1.825000 259 5 8 1 5.145833 958.479187 4580 0 4385 30417.125000 least-occurring-first 0 0 0 0 0 195 0 0 0 0 generated bobsmhdlc_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 199 48 465 2535 34.351757 12.834171 1.768844 238 10 7 1 5.125000 1043.458374 6368 0 6172 32195.937500 least-occurring-first 0 0 0 0 0 197 0 0 0 0 generated bobsmhdlc_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 209 48 448 2586 34.918659 12.636364 1.751196 233 9 7 1 5.333333 750.312500 4453 0 4257 22563.875000 least-occurring-first 0 0 0 0 0 194 0 0 0 0 generated bobtuint00_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 72 70 379 2138 114.805557 37.527779 4.472222 352 9 16 1 1.785714 325936.968750 6536067 0 6485072 7763982.500000 least-occurring-first 0 0 0 0 0 50995 0 0 0 0 generated bobtuint04_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 75 70 379 2137 119.333336 39.080002 4.906667 352 7 16 1 1.828571 104973.984375 1788663 0 1777040 2470492.000000 least-occurring-first 0 0 0 0 0 11623 0 0 0 0 generated bobtuint05_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 72 70 379 2138 120.333336 39.347221 4.833333 350 9 16 1 1.785714 102937.445312 1629201 0 1617840 2407081.500000 least-occurring-first 0 0 0 0 0 11362 0 0 0 0 generated bobtuint06_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 74 70 379 2151 111.824326 36.337837 4.202703 352 9 16 1 1.814286 218033.750000 2976679 0 2955583 5145786.000000 least-occurring-first 0 0 0 0 0 21098 0 0 0 0 generated bobtuint07_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 72 70 379 2139 119.513885 39.083332 4.819445 350 9 16 1 1.785714 103172.226562 1632260 0 1621691 2418487.750000 least-occurring-first 0 0 0 0 0 10568 0 0 0 0 generated bobtuint08_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 73 70 379 2149 108.136986 35.027397 4.273973 352 7 16 1 1.800000 397365.031250 7200000 0 - - least-occurring-first 0 0 0 0 0 52538 0 0 0 0 generated bobtuint09_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 73 70 379 2138 117.643837 38.438354 4.575343 350 9 16 1 1.800000 103008.039062 1638005 0 1626693 2414585.250000 least-occurring-first 0 0 0 0 0 11312 0 0 0 0 generated eijkbs1512_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 164 29 345 2059 90.396339 26.189024 3.030488 264 12 7 1 6.586207 573.344849 360 0 197 4929.137695 least-occurring-first 0 0 0 0 0 164 0 0 0 0 generated eijkbs4863_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 372 49 561 4851 83.338707 15.717742 6.623656 510 9 14 1 8.469388 183058.750000 1619225 0 1599306 3353031.500000 least-occurring-first 1 0 0 0 0 19920 0 0 0 0 generated kenflashp02_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 54 33 102 783 17.333334 3.833333 1.240741 539 7 14 1 2.030303 28820.818359 49731 0 48570 372283.906250 least-occurring-first 0 0 0 0 0 1162 0 0 0 0 generated kenflashp02_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 58 33 100 873 15.137931 2.793103 1.224138 689 3 14 1 2.151515 18228.091797 28166 0 27401 224034.609375 least-occurring-first 0 0 0 0 0 765 0 0 0 0 generated kenflashp12_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 66 42 129 1024 18.333334 3.909091 1.287879 717 7 20 1 2.023809 547836.500000 1875067 0 1842974 7579217.500000 least-occurring-first 0 0 0 0 0 32092 0 0 0 0 generated kenflashp12_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 76 42 127 1134 15.065789 2.802632 1.250000 902 3 20 1 2.261905 592867.062500 2050955 0 2018909 8292826.000000 least-occurring-first 0 0 0 0 0 32046 0 0 0 0 generated neclaftp2001_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 3655 32 3369 18511 38.755131 17.920931 1.000000 117 23 1 1 114.218750 165.000000 2027 0 6 165.000000 least-occurring-first 0 0 0 0 0 2024 0 0 0 0 generated neclaftp2002_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 3956 32 5963 31073 45.806877 19.553337 1.000000 122 27 1 1 123.625000 1310.125000 2741 0 87 1310.125000 least-occurring-first 0 0 0 0 0 2659 0 0 0 0 generated neclaftp2002_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 3721 32 3370 18429 38.590164 17.915613 1.000000 118 23 1 1 116.281250 165.000000 2051 0 6 165.000000 least-occurring-first 0 0 0 0 0 2048 0 0 0 0 generated neclaftp3001_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 3230 32 4778 23707 29.091022 13.056966 1.000000 92 27 1 1 100.937500 738.000000 1605 0 48 738.000000 least-occurring-first 0 0 0 0 0 1562 0 0 0 0 generated neclaftp3001_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 3108 32 2506 14470 24.967503 12.051802 1.000000 84 23 1 1 97.125000 143.000000 1252 0 6 143.000000 least-occurring-first 0 0 0 0 0 1248 0 0 0 0 generated neclaftp3002_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 3353 32 4778 23705 28.796301 13.052490 1.000000 82 27 1 1 104.781250 736.000000 1669 0 51 736.000000 least-occurring-first 0 0 0 0 0 1619 0 0 0 0 generated neclaftp3002_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 3190 32 2506 14466 24.857054 12.051724 1.000000 82 23 1 1 99.687500 143.000000 1258 0 6 143.000000 least-occurring-first 0 0 0 0 0 1256 0 0 0 0 generated neclaftp4001_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 568 32 810 3950 29.839788 13.000000 1.000000 35 27 1 1 17.750000 162.000000 269 0 10 162.000000 least-occurring-first 0 0 0 0 0 260 0 0 0 0 generated neclaftp4001_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 558 32 426 2335 26.023298 12.005377 1.000000 32 23 1 1 17.437500 23.000000 203 0 2 23.000000 least-occurring-first 0 0 0 0 0 202 0 0 0 0 generated neclaftp4002_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 557 32 810 3951 29.931778 13.000000 1.000000 36 27 1 1 17.406250 163.000000 272 0 9 163.000000 least-occurring-first 0 0 0 0 0 263 0 0 0 0 generated neclaftp4002_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 561 32 426 2337 25.495544 12.003565 1.000000 32 23 1 1 17.531250 23.000000 206 0 1 23.000000 least-occurring-first 1 0 0 0 0 206 0 0 0 0 generated pdtpmsgigamax_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 115 22 230 1404 270.730438 72.026085 10.913043 433 9 17 1 6.181818 13246.045898 14828 0 14017 191628.265625 least-occurring-first 0 0 0 0 0 812 0 0 0 0 generated pdtpmsgigamax_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 98 22 214 1188 254.418365 67.265305 11.091837 431 5 17 1 5.409091 12386.772461 15352 0 14463 179942.859375 least-occurring-first 0 0 0 0 0 890 0 0 0 0 generated pdtpmsmiim_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 133 40 295 1499 28.127819 10.864661 2.060150 89 7 8 1 4.300000 238.774994 230 0 144 2138.449951 least-occurring-first 0 0 0 0 0 86 0 0 0 0 generated pdtpmsmiim_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 99 40 249 1128 28.747475 11.868687 2.272727 88 3 8 1 3.450000 190.250000 164 0 92 1374.824951 least-occurring-first 1 0 0 0 0 71 0 0 0 0 generated pdtpmsns3_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 480 21 836 5512 179.368744 53.370834 4.947917 582 9 21 1 23.809525 541524.062500 930471 0 884091 9897577.000000 least-occurring-first 0 0 0 0 0 46388 0 0 0 0 generated pdtpmsns3_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 407 21 783 4798 189.029480 55.950859 4.921376 581 3 21 1 20.333334 515436.062500 1033459 0 972146 8937092.000000 least-occurring-first 0 0 0 0 0 61319 0 0 0 0 generated pdtpmsrotate32_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 210 37 295 2061 57.076191 17.161905 2.819048 138 7 5 1 5.783784 428.081085 192 0 14 1573.324341 least-occurring-first 0 0 0 0 0 179 0 0 0 0 generated pdtpmsrotate32_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 158 37 198 1641 70.221519 20.462025 3.360759 137 3 5 1 4.378378 408.756744 176 0 13 1544.621582 least-occurring-first 1 0 0 0 0 163 0 0 0 0 generated pdtpmssfeistel_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 1008 68 1546 10614 53.975197 17.389881 3.363095 699 12 68 1 15.808824 7562.279297 26720 0 25394 65434.574219 least-occurring-first 0 0 0 0 0 1330 0 0 0 0 generated pdtpmssfeistel_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 890 68 1546 10584 59.498875 19.040449 3.611236 702 9 68 1 14.073529 7003.676270 20925 0 19604 53457.132812 least-occurring-first 0 0 0 0 0 1322 0 0 0 0 generated pdtpmsvsa16a_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 100 32 166 708 17.280001 7.500000 1.000000 24 13 1 1 3.125000 29.000000 49 0 2 29.000000 least-occurring-first 0 0 0 0 0 46 0 0 0 0 generated pdtpmsvsa16a_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 85 32 108 457 13.752941 6.552941 1.000000 20 9 1 1 2.656250 3.000000 29 0 1 3.000000 least-occurring-first 0 0 0 0 0 28 0 0 0 0 generated pdtvismiim0_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 100 40 206 1111 29.360001 11.990000 2.220000 74 9 8 1 3.475000 196.800003 180 0 111 1571.324951 least-occurring-first 1 0 0 0 0 68 0 0 0 0 generated pdtvismiim0_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 84 40 187 923 30.750000 13.154762 2.238095 72 5 8 1 3.075000 159.774994 131 0 68 999.500000 least-occurring-first 1 0 0 0 0 63 0 0 0 0 generated pdtvismiim1_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 97 40 206 1107 28.979382 11.835052 2.175258 74 9 8 1 3.400000 204.274994 182 0 117 1612.925049 least-occurring-first 0 0 0 0 0 66 0 0 0 0 generated pdtvismiim1_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 84 40 187 923 30.750000 13.154762 2.238095 72 5 8 1 3.075000 159.774994 130 0 67 999.500000 least-occurring-first 0 0 0 0 0 64 0 0 0 0 generated pdtvismiim2_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 100 40 206 1111 29.360001 11.990000 2.220000 74 9 8 1 3.475000 196.800003 179 0 111 1571.324951 least-occurring-first 0 0 0 0 0 68 0 0 0 0 generated pdtvismiim2_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 84 40 187 923 30.750000 13.154762 2.238095 72 5 8 1 3.075000 159.774994 132 0 68 999.500000 least-occurring-first 0 0 0 0 0 63 0 0 0 0 generated pdtvismiim3_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 97 40 206 1107 28.979382 11.835052 2.175258 74 9 8 1 3.400000 204.274994 186 0 117 1612.925049 least-occurring-first 1 0 0 0 0 69 0 0 0 0 generated pdtvismiim3_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 84 40 187 923 30.750000 13.154762 2.238095 72 5 8 1 3.075000 159.774994 131 0 68 999.500000 least-occurring-first 0 0 0 0 0 63 0 0 0 0 generated pdtvismiim4_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 100 40 206 1116 28.879999 11.790000 2.220000 74 9 8 1 3.475000 208.975006 188 0 119 1650.824951 least-occurring-first 0 0 0 0 0 68 0 0 0 0 generated pdtvismiim4_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 84 40 187 923 30.452381 13.059524 2.226191 72 5 8 1 3.075000 157.725006 129 0 68 987.424988 least-occurring-first 0 0 0 0 0 61 0 0 0 0 generated pdtvismiim5_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 97 40 206 1107 28.979382 11.835052 2.175258 74 9 8 1 3.400000 204.274994 186 0 118 1612.925049 least-occurring-first 0 0 0 0 0 67 0 0 0 0 generated pdtvismiim5_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 84 40 187 923 30.750000 13.154762 2.238095 72 5 8 1 3.075000 159.774994 127 0 67 999.500000 least-occurring-first 0 0 0 0 0 59 0 0 0 0 generated pdtvismiim6_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 100 40 206 1111 29.360001 11.990000 2.220000 74 9 8 1 3.475000 196.800003 186 0 111 1571.324951 least-occurring-first 0 0 0 0 0 74 0 0 0 0 generated pdtvismiim6_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 84 40 187 923 30.750000 13.154762 2.238095 72 5 8 1 3.075000 159.774994 130 0 68 999.500000 least-occurring-first 0 0 0 0 0 62 0 0 0 0 generated pdtvissfeistel_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 610 68 790 5705 51.229507 16.552460 3.447541 612 14 68 1 9.955882 3630.926514 11030 0 10309 29243.367188 least-occurring-first 0 0 0 0 0 721 0 0 0 0 generated pdtvissfeistel_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 514 68 790 5847 45.447472 14.992218 3.661479 612 11 68 1 8.544118 3630.970703 10075 0 9507 27375.353516 least-occurring-first 0 0 0 0 0 572 0 0 0 0 generated pdtvissoap0_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 185 21 315 2841 49.740540 13.356757 1.140541 135 15 2 1 9.285714 60.428570 86 0 4 407.380951 least-occurring-first 1 0 0 0 0 82 0 0 0 0 generated pdtvissoap0_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 174 21 315 2573 46.706898 13.770115 1.166667 134 11 2 1 8.761905 27.952381 79 0 1 144.142853 least-occurring-first 0 0 0 0 0 78 0 0 0 0 generated pdtvissoap1_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 176 21 315 2845 50.698864 13.357955 1.136364 135 14 2 1 8.857142 60.428570 83 0 3 407.238098 least-occurring-first 0 0 0 0 0 80 0 0 0 0 generated pdtvissoap1_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 172 21 315 2573 46.837208 13.843023 1.191860 133 11 2 1 8.666667 27.952381 78 0 1 144.142853 least-occurring-first 1 0 0 0 0 77 0 0 0 0 generated pdtvissoap2_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 182 21 315 2840 52.318680 13.461538 1.120879 135 14 2 1 9.142858 60.428570 86 0 5 407.666656 least-occurring-first 0 0 0 0 0 82 0 0 0 0 generated pdtvissoap2_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 178 21 315 2574 46.443821 13.887640 1.157303 134 11 2 1 8.952381 27.952381 79 0 1 144.142853 least-occurring-first 0 0 0 0 0 78 0 0 0 0 generated pdtvisvsa16a00_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 48 32 99 361 16.666666 7.500000 1.000000 21 13 1 1 1.500000 14.000000 26 0 1 14.000000 least-occurring-first 1 0 0 0 0 24 0 0 0 0 generated pdtvisvsa16a00_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 44 32 70 236 13.045455 6.568182 1.000000 17 9 1 1 1.375000 1.000000 32 0 1 1.000000 least-occurring-first 0 0 0 0 0 15 0 0 0 0 generated pdtvisvsa16a01_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 48 32 99 361 16.666666 7.500000 1.000000 21 13 1 1 1.500000 14.000000 27 0 1 14.000000 least-occurring-first 0 0 0 0 0 25 0 0 0 0 generated pdtvisvsa16a01_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 44 32 70 236 13.045455 6.568182 1.000000 17 9 1 1 1.375000 1.000000 16 0 1 1.000000 least-occurring-first 0 0 0 0 0 15 0 0 0 0 generated pdtvisvsa16a02_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 48 32 99 361 16.666666 7.500000 1.000000 21 13 1 1 1.500000 14.000000 26 0 2 14.000000 least-occurring-first 1 0 0 0 0 24 0 0 0 0 generated pdtvisvsa16a02_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 44 32 70 236 13.045455 6.568182 1.000000 17 9 1 1 1.375000 1.000000 16 0 1 1.000000 least-occurring-first 0 0 0 0 0 14 0 0 0 0 generated pdtvisvsa16a03_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 48 32 99 361 16.916666 7.625000 1.000000 21 13 1 1 1.500000 14.000000 26 0 2 14.000000 least-occurring-first 1 0 0 0 0 24 0 0 0 0 generated pdtvisvsa16a03_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 44 32 70 236 13.045455 6.568182 1.000000 17 9 1 1 1.375000 1.000000 17 0 2 1.000000 least-occurring-first 0 0 0 0 0 14 0 0 0 0 generated pdtvisvsa16a04_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 48 32 99 361 16.666666 7.500000 1.000000 21 13 1 1 1.500000 14.000000 24 0 1 14.000000 least-occurring-first 0 0 0 0 0 23 0 0 0 0 generated pdtvisvsa16a04_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 44 32 70 236 13.045455 6.568182 1.000000 17 9 1 1 1.375000 1.000000 16 0 1 1.000000 least-occurring-first 0 0 0 0 0 15 0 0 0 0 generated pdtvisvsa16a05_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 48 32 99 361 16.916666 7.625000 1.000000 21 13 1 1 1.500000 14.000000 26 0 1 14.000000 least-occurring-first 0 0 0 0 0 25 0 0 0 0 generated pdtvisvsa16a05_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 45 32 70 236 12.911111 6.533333 1.000000 17 9 1 1 1.406250 1.000000 16 0 1 1.000000 least-occurring-first 0 0 0 0 0 15 0 0 0 0 generated pdtvisvsa16a06_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 48 32 99 361 16.541666 7.437500 1.000000 21 13 1 1 1.500000 14.000000 25 0 1 14.000000 least-occurring-first 0 0 0 0 0 23 0 0 0 0 generated pdtvisvsa16a06_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 44 32 70 236 13.045455 6.568182 1.000000 17 9 1 1 1.375000 1.000000 16 0 1 1.000000 least-occurring-first 1 0 0 0 0 15 0 0 0 0 generated pdtvisvsa16a07_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 46 32 99 361 17.043478 7.630435 1.000000 21 13 1 1 1.437500 14.000000 26 0 2 14.000000 least-occurring-first 0 0 0 0 0 23 0 0 0 0 generated pdtvisvsa16a07_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 44 32 70 236 13.045455 6.568182 1.000000 17 9 1 1 1.375000 1.000000 15 0 1 1.000000 least-occurring-first 1 0 0 0 0 15 0 0 0 0 generated pdtvisvsa16a08_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 43 32 99 361 17.046511 7.534883 1.000000 21 13 1 1 1.343750 14.000000 24 0 1 14.000000 least-occurring-first 0 0 0 0 0 23 0 0 0 0 generated pdtvisvsa16a08_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 44 32 70 236 13.045455 6.568182 1.000000 17 9 1 1 1.375000 1.000000 15 0 1 1.000000 least-occurring-first 0 0 0 0 0 14 0 0 0 0 generated pdtvisvsa16a09_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 46 32 99 361 17.043478 7.630435 1.000000 21 13 1 1 1.437500 14.000000 25 0 2 14.000000 least-occurring-first 0 0 0 0 0 23 0 0 0 0 generated pdtvisvsa16a09_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 44 32 70 236 13.045455 6.568182 1.000000 17 9 1 1 1.375000 1.000000 16 0 1 1.000000 least-occurring-first 0 0 0 0 0 15 0 0 0 0 generated pdtvisvsa16a10_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 48 32 99 361 16.666666 7.500000 1.000000 21 13 1 1 1.500000 14.000000 26 0 1 14.000000 least-occurring-first 0 0 0 0 0 24 0 0 0 0 generated pdtvisvsa16a10_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 44 32 70 236 13.045455 6.568182 1.000000 17 9 1 1 1.375000 1.000000 16 0 1 1.000000 least-occurring-first 1 0 0 0 0 15 0 0 0 0 generated pdtvisvsa16a11_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 53 32 99 361 16.698112 7.641510 1.000000 21 13 1 1 1.656250 14.000000 27 0 1 14.000000 least-occurring-first 0 0 0 0 0 25 0 0 0 0 generated pdtvisvsa16a11_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 45 32 70 236 12.911111 6.533333 1.000000 17 9 1 1 1.406250 1.000000 16 0 1 1.000000 least-occurring-first 0 0 0 0 0 15 0 0 0 0 generated pdtvisvsa16a12_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 48 32 99 361 16.666666 7.500000 1.000000 21 13 1 1 1.500000 14.000000 25 0 1 14.000000 least-occurring-first 0 0 0 0 0 24 0 0 0 0 generated pdtvisvsa16a12_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 44 32 70 236 13.045455 6.568182 1.000000 17 9 1 1 1.375000 1.000000 16 0 1 1.000000 least-occurring-first 0 0 0 0 0 15 0 0 0 0 generated pdtvisvsa16a13_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 47 32 99 361 16.531916 7.404255 1.000000 21 13 1 1 1.468750 14.000000 25 0 2 14.000000 least-occurring-first 0 0 0 0 0 23 0 0 0 0 generated pdtvisvsa16a13_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 44 32 70 236 13.045455 6.568182 1.000000 17 9 1 1 1.375000 1.000000 16 0 1 1.000000 least-occurring-first 0 0 0 0 0 15 0 0 0 0 generated pdtvisvsa16a14_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 44 32 99 361 16.909090 7.500000 1.000000 21 13 1 1 1.375000 14.000000 24 0 1 14.000000 least-occurring-first 0 0 0 0 0 23 0 0 0 0 generated pdtvisvsa16a14_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 44 32 70 236 13.045455 6.568182 1.000000 17 9 1 1 1.375000 1.000000 16 0 1 1.000000 least-occurring-first 0 0 0 0 0 15 0 0 0 0 generated pdtvisvsa16a15_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 44 32 99 361 16.909090 7.500000 1.000000 21 13 1 1 1.375000 14.000000 25 0 2 14.000000 least-occurring-first 0 0 0 0 0 22 0 0 0 0 generated pdtvisvsa16a15_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 44 32 70 236 13.045455 6.568182 1.000000 17 9 1 1 1.375000 1.000000 17 0 1 1.000000 least-occurring-first 0 0 0 0 0 15 0 0 0 0 generated pdtvisvsa16a16_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 48 32 99 361 16.666666 7.500000 1.000000 21 13 1 1 1.500000 14.000000 24 0 1 14.000000 least-occurring-first 0 0 0 0 0 23 0 0 0 0 generated pdtvisvsa16a16_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 44 32 70 236 13.045455 6.568182 1.000000 17 9 1 1 1.375000 1.000000 15 0 1 1.000000 least-occurring-first 0 0 0 0 0 14 0 0 0 0 generated pdtvisvsa16a17_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 50 32 99 361 16.559999 7.500000 1.000000 21 13 1 1 1.562500 14.000000 26 0 2 14.000000 least-occurring-first 0 0 0 0 0 24 0 0 0 0 generated pdtvisvsa16a17_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 44 32 70 236 13.045455 6.568182 1.000000 17 9 1 1 1.375000 1.000000 16 0 1 1.000000 least-occurring-first 0 0 0 0 0 15 0 0 0 0 generated pdtvisvsa16a18_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 45 32 99 361 16.911112 7.533333 1.000000 21 13 1 1 1.406250 14.000000 25 0 2 14.000000 least-occurring-first 0 0 0 0 0 22 0 0 0 0 generated pdtvisvsa16a18_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 44 32 70 236 13.045455 6.568182 1.000000 17 9 1 1 1.375000 1.000000 16 0 1 1.000000 least-occurring-first 0 0 0 0 0 15 0 0 0 0 generated pdtvisvsa16a19_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 49 32 99 361 16.918367 7.653061 1.000000 21 13 1 1 1.531250 14.000000 26 0 2 14.000000 least-occurring-first 0 0 0 0 0 24 0 0 0 0 generated pdtvisvsa16a19_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 44 32 70 236 13.045455 6.568182 1.000000 17 9 1 1 1.375000 1.000000 17 0 2 1.000000 least-occurring-first 0 0 0 0 0 14 0 0 0 0 generated pdtvisvsa16a20_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 43 32 99 361 16.767443 7.395349 1.000000 21 13 1 1 1.343750 14.000000 24 0 2 14.000000 least-occurring-first 0 0 0 0 0 22 0 0 0 0 generated pdtvisvsa16a20_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 44 32 70 236 13.045455 6.568182 1.000000 17 9 1 1 1.375000 1.000000 17 0 1 1.000000 least-occurring-first 0 0 0 0 0 15 0 0 0 0 generated pdtvisvsa16a21_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 48 32 99 361 16.666666 7.500000 1.000000 21 13 1 1 1.500000 14.000000 23 0 1 14.000000 least-occurring-first 0 0 0 0 0 22 0 0 0 0 generated pdtvisvsa16a21_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 44 32 70 236 13.045455 6.568182 1.000000 17 9 1 1 1.375000 1.000000 16 0 1 1.000000 least-occurring-first 0 0 0 0 0 15 0 0 0 0 generated pdtvisvsa16a22_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 48 32 99 361 16.666666 7.500000 1.000000 21 13 1 1 1.500000 14.000000 38 0 1 14.000000 least-occurring-first 0 0 0 0 0 36 0 0 0 0 generated pdtvisvsa16a22_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 44 32 70 236 13.045455 6.568182 1.000000 17 9 1 1 1.375000 1.000000 16 0 1 1.000000 least-occurring-first 0 0 0 0 0 15 0 0 0 0 generated pdtvisvsa16a23_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 48 32 99 361 16.666666 7.500000 1.000000 21 13 1 1 1.500000 14.000000 26 0 2 14.000000 least-occurring-first 0 0 0 0 0 23 0 0 0 0 generated pdtvisvsa16a23_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 44 32 70 236 13.045455 6.568182 1.000000 17 9 1 1 1.375000 1.000000 16 0 1 1.000000 least-occurring-first 0 0 0 0 0 15 0 0 0 0 generated pdtvisvsa16a24_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 48 32 99 361 16.666666 7.500000 1.000000 21 13 1 1 1.500000 14.000000 25 0 1 14.000000 least-occurring-first 0 0 0 0 0 24 0 0 0 0 generated pdtvisvsa16a24_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 44 32 70 236 13.045455 6.568182 1.000000 17 9 1 1 1.375000 1.000000 15 0 1 1.000000 least-occurring-first 0 0 0 0 0 14 0 0 0 0 generated pdtvisvsa16a25_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 48 32 99 361 16.666666 7.500000 1.000000 21 13 1 1 1.500000 14.000000 25 0 1 14.000000 least-occurring-first 0 0 0 0 0 24 0 0 0 0 generated pdtvisvsa16a25_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 44 32 70 236 13.045455 6.568182 1.000000 17 9 1 1 1.375000 1.000000 16 0 1 1.000000 least-occurring-first 0 0 0 0 0 15 0 0 0 0 generated pdtvisvsa16a26_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 48 32 99 361 16.666666 7.500000 1.000000 21 13 1 1 1.500000 14.000000 26 0 2 14.000000 least-occurring-first 1 0 0 0 0 24 0 0 0 0 generated pdtvisvsa16a26_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 44 32 70 236 13.045455 6.568182 1.000000 17 9 1 1 1.375000 1.000000 16 0 1 1.000000 least-occurring-first 0 0 0 0 0 14 0 0 0 0 generated pdtvisvsa16a27_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 47 32 99 361 16.404255 7.340425 1.000000 21 13 1 1 1.468750 14.000000 25 0 1 14.000000 least-occurring-first 1 0 0 0 0 23 0 0 0 0 generated pdtvisvsa16a27_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 44 32 70 236 13.045455 6.568182 1.000000 17 9 1 1 1.375000 1.000000 17 0 1 1.000000 least-occurring-first 0 0 0 0 0 15 0 0 0 0 generated pdtvisvsa16a29_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 47 32 99 361 17.042553 7.659575 1.000000 21 13 1 1 1.468750 14.000000 25 0 1 14.000000 least-occurring-first 0 0 0 0 0 24 0 0 0 0 generated pdtvisvsa16a29_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 44 32 70 236 13.045455 6.568182 1.000000 17 9 1 1 1.375000 1.000000 40 0 2 1.000000 least-occurring-first 0 0 0 0 0 37 0 0 0 0 generated pdtvisvsa16a31_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 44 32 99 361 16.909090 7.500000 1.000000 21 13 1 1 1.375000 14.000000 25 0 2 14.000000 least-occurring-first 0 0 0 0 0 22 0 0 0 0 generated pdtvisvsa16a31_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 44 32 70 236 13.045455 6.568182 1.000000 17 9 1 1 1.375000 1.000000 16 0 1 1.000000 least-occurring-first 0 0 0 0 0 15 0 0 0 0 generated texasifetch1p1_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 38 26 106 462 20.184210 7.894737 2.210526 50 9 11 1 2.153846 73.961540 19 0 6 287.038452 least-occurring-first 0 0 0 0 0 13 0 0 0 0 generated texasifetch1p1_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 39 26 93 385 17.512821 7.102564 1.974359 46 5 11 1 2.192308 64.461540 20 0 6 273.576935 least-occurring-first 0 0 0 0 0 13 0 0 0 0 generated texasifetch1p2_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 38 26 106 462 20.184210 7.815790 2.210526 50 9 11 1 2.153846 77.769234 21 0 6 302.961548 least-occurring-first 1 0 0 0 0 13 0 0 0 0 generated texasifetch1p2_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 38 26 93 385 17.052631 6.921052 1.947368 46 5 11 1 2.153846 64.500000 18 0 5 273.884613 least-occurring-first 0 0 0 0 0 13 0 0 0 0 generated texasifetch1p3_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 39 26 106 462 19.846153 7.717949 2.153846 50 9 11 1 2.192308 77.769234 21 0 6 302.961548 least-occurring-first 0 0 0 0 0 15 0 0 0 0 generated texasifetch1p3_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 38 26 93 385 17.052631 6.921052 1.947368 46 5 11 1 2.153846 64.500000 18 0 5 273.884613 least-occurring-first 0 0 0 0 0 12 0 0 0 0 generated texasifetch1p4_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 40 26 106 462 19.200001 7.525000 1.925000 50 9 11 1 2.230769 77.769234 21 0 6 303.038452 least-occurring-first 0 0 0 0 0 15 0 0 0 0 generated texasifetch1p4_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 38 26 93 385 17.052631 6.921052 1.947368 46 5 11 1 2.153846 64.500000 19 0 5 273.884613 least-occurring-first 0 0 0 0 0 14 0 0 0 0 generated texasifetch1p5_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 38 26 106 461 20.736841 7.947369 2.210526 49 9 11 1 2.153846 77.923080 36 0 6 314.115387 least-occurring-first 0 0 0 0 0 30 0 0 0 0 generated texasifetch1p5_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 38 26 93 384 17.026316 6.921052 1.947368 45 5 11 1 2.153846 64.384613 18 0 5 273.730774 least-occurring-first 0 0 0 0 0 12 0 0 0 0 generated texasifetch1p8_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 38 26 106 462 20.184210 7.815790 2.210526 50 9 11 1 2.153846 77.769234 19 0 6 302.961548 least-occurring-first 0 0 0 0 0 13 0 0 0 0 generated texasifetch1p8_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 38 26 93 385 17.342106 7.052631 2.131579 46 5 11 1 2.153846 61.653847 17 0 4 264.576935 least-occurring-first 0 0 0 0 0 13 0 0 0 0 generated viselevatorp1_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 42 28 99 547 22.857143 8.071428 1.261905 151 7 12 1 1.892857 1745.464233 500 0 460 18408.072266 least-occurring-first 0 0 0 0 0 39 0 0 0 0 generated viselevatorp1_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 42 28 93 469 16.714285 6.238095 1.261905 169 3 12 1 1.892857 1863.321411 619 0 555 19021.927734 least-occurring-first 0 0 0 0 0 64 0 0 0 0 generated viselevatorp2_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 37 28 99 545 24.891891 8.567568 1.297297 151 7 12 1 1.714286 2224.571533 645 0 595 21876.035156 least-occurring-first 0 0 0 0 0 49 0 0 0 0 generated viselevatorp2_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 42 28 93 469 16.714285 6.238095 1.261905 169 3 12 1 1.892857 1863.321411 875 0 814 19021.927734 least-occurring-first 0 0 0 0 0 61 0 0 0 0 generated viselevatorp3_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 36 28 99 545 23.944445 8.166667 1.305556 151 7 12 1 1.678571 2091.392822 757 0 705 21904.322266 least-occurring-first 0 0 0 0 0 51 0 0 0 0 generated viselevatorp3_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 42 28 93 470 16.714285 6.238095 1.261905 169 3 12 1 1.892857 1996.107178 992 0 929 20423.357422 least-occurring-first 0 0 0 0 0 63 0 0 0 0 generated visprodcellp01_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 48 30 108 509 12.750000 4.250000 1.604167 257 7 30 1 - - MO - - - - - - - - - - - - - - generated visprodcellp03_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 48 30 108 509 12.750000 4.250000 1.604167 257 7 30 1 - - MO - - - - - - - - - - - - - - generated visprodcellp07_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 49 30 108 510 12.612245 4.224490 1.591837 258 7 30 1 - - MO - - - - - - - - - - - - - - generated visprodcellp22_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 49 30 108 510 12.612245 4.224490 1.591837 258 7 30 1 - - MO - - - - - - - - - - - - - - generated bobsynth00_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 1360 44 2860 15219 70.086761 24.286030 2.684559 2650 9 14 1 31.886364 89015.820312 1341312 0 1331795 2988632.250000 least-occurring-first 0 0 0 0 0 9521 0 0 0 0 generated bobsynth00_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 1428 44 2841 15333 74.254906 23.282213 2.661765 2680 7 14 1 33.431820 91021.093750 1300947 0 1289932 3051950.500000 least-occurring-first 0 0 0 0 0 11026 0 0 0 0 generated bobsynth01_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 1360 44 2860 15219 70.086761 24.286030 2.684559 2650 9 14 1 31.886364 89015.820312 1297802 0 1286743 2988632.250000 least-occurring-first 0 0 0 0 0 11062 0 0 0 0 generated bobsynth01_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 1428 44 2841 15333 74.254906 23.282213 2.661765 2680 7 14 1 33.431820 91021.093750 1119148 0 1109483 3051950.500000 least-occurring-first 1 0 0 0 0 9675 0 0 0 0 generated bobsynth02_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 1360 44 2860 15219 70.086761 24.286030 2.684559 2650 9 14 1 31.886364 89015.820312 1130654 0 1120844 2988632.250000 least-occurring-first 0 0 0 0 0 9813 0 0 0 0 generated bobsynth02_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 1428 44 2841 15333 74.254906 23.282213 2.661765 2680 7 14 1 33.431820 91021.093750 1067282 0 1058497 3051950.500000 least-occurring-first 0 0 0 0 0 8790 0 0 0 0 generated bobsynth04_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 1360 44 2860 15219 70.086761 24.286030 2.684559 2650 9 14 1 31.886364 89015.820312 1303438 0 1294146 2988632.250000 least-occurring-first 0 0 0 0 0 9296 0 0 0 0 generated bobsynth04_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 1428 44 2841 15333 74.254906 23.282213 2.661765 2680 7 14 1 33.431820 91021.093750 1057402 0 1048563 3051950.500000 least-occurring-first 0 0 0 0 0 8841 0 0 0 0 generated bobsynth05_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 1360 44 2860 15219 70.086761 24.286030 2.684559 2650 9 14 1 31.886364 89015.820312 1194972 0 1185807 2988632.250000 least-occurring-first 0 0 0 0 0 9167 0 0 0 0 generated bobsynth05_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 1428 44 2841 15333 74.254906 23.282213 2.661765 2680 7 14 1 33.431820 91021.093750 1110222 0 1101790 3051950.500000 least-occurring-first 0 0 0 0 0 8436 0 0 0 0 generated bobsynth06_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 1360 44 2860 15219 70.086761 24.286030 2.684559 2650 9 14 1 31.886364 89015.820312 1230351 0 1221319 2988632.250000 least-occurring-first 0 0 0 0 0 9036 0 0 0 0 generated bobsynth06_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 1428 44 2841 15333 74.254906 23.282213 2.661765 2680 7 14 1 33.431820 91021.093750 1273111 0 1264084 3051950.500000 least-occurring-first 0 0 0 0 0 9041 0 0 0 0 generated bobsynth07_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 1360 44 2860 15219 70.086761 24.286030 2.684559 2650 9 14 1 31.886364 89015.820312 1277416 0 1267147 2988632.250000 least-occurring-first 0 0 0 0 0 10275 0 0 0 0 generated bobsynth07_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 1428 44 2841 15333 74.254906 23.282213 2.661765 2680 7 14 1 33.431820 91021.093750 1247664 0 1237322 3051950.500000 least-occurring-first 0 0 0 0 0 10345 0 0 0 0 generated bobsynth08_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 1360 44 2860 15219 70.086761 24.286030 2.684559 2650 9 14 1 31.886364 89015.820312 1339761 0 1330906 2988632.250000 least-occurring-first 0 0 0 0 0 8862 0 0 0 0 generated bobsynth08_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 1428 44 2841 15333 74.254906 23.282213 2.661765 2680 7 14 1 33.431820 91021.093750 1019270 0 1011164 3051950.500000 least-occurring-first 0 0 0 0 0 8102 0 0 0 0 generated bobsynth09_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 1360 44 2860 15219 70.086761 24.286030 2.684559 2650 9 14 1 31.886364 89015.820312 1290792 0 1281662 2988632.250000 least-occurring-first 1 0 0 0 0 9118 0 0 0 0 generated bobsynth09_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 1428 44 2841 15333 74.254906 23.282213 2.661765 2680 7 14 1 33.431820 91021.093750 1214225 0 1205811 3051950.500000 least-occurring-first 0 0 0 0 0 8424 0 0 0 0 generated bobsynth10_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 1360 44 2860 15219 70.086761 24.286030 2.684559 2650 9 14 1 31.886364 89015.820312 1185024 0 1175915 2988632.250000 least-occurring-first 0 0 0 0 0 9113 0 0 0 0 generated bobsynth10_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 1428 44 2841 15333 74.254906 23.282213 2.661765 2680 7 14 1 33.431820 91021.093750 1192649 0 1182266 3051950.500000 least-occurring-first 0 0 0 0 0 10385 0 0 0 0 generated bobsynth11_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 1360 44 2860 15219 70.086761 24.286030 2.684559 2650 9 14 1 31.886364 89015.820312 1190919 0 1181965 2988632.250000 least-occurring-first 1 0 0 0 0 8960 0 0 0 0 generated bobsynth11_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 1428 44 2841 15333 74.254906 23.282213 2.661765 2680 7 14 1 33.431820 91021.093750 1022889 0 1015405 3051950.500000 least-occurring-first 0 0 0 0 0 7489 0 0 0 0 generated bobsynth12_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 1450 44 2860 15219 71.401382 24.646896 2.723448 2649 11 14 1 33.931820 90320.929688 1321987 0 1310889 3035126.750000 least-occurring-first 0 0 0 0 0 11103 0 0 0 0 generated bobsynth12_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 1456 44 2841 15341 73.951233 23.271978 2.636676 2680 7 14 1 34.068180 92211.523438 1022584 0 1012069 3115964.000000 least-occurring-first 0 0 0 0 0 10522 0 0 0 0 generated bobsynth13_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 1450 44 2860 15219 71.401382 24.646896 2.723448 2649 11 14 1 33.931820 90320.929688 1299184 0 1288798 3035126.750000 least-occurring-first 1 0 0 0 0 10388 0 0 0 0 generated bobsynth13_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 1456 44 2841 15341 73.951233 23.271978 2.636676 2680 7 14 1 34.068180 92211.523438 1047218 0 1037658 3115964.000000 least-occurring-first 0 0 0 0 0 9549 0 0 0 0 generated bobsynthand_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 1369 44 2860 15219 71.396637 24.608473 2.728269 2650 11 14 1 32.090908 99730.226562 1283986 0 1275132 3387289.750000 least-occurring-first 0 0 0 0 0 8859 0 0 0 0 generated bobsynthand_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 1448 44 2841 15322 74.335632 23.376381 2.667127 2680 5 14 1 33.886364 87211.156250 1048128 0 1039956 2920478.750000 least-occurring-first 0 0 0 0 0 8178 0 0 0 0 generated bobsynthetic2_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 91 66 600 10067 8777.922852 402.758240 66.000000 9000 8671 66 66 2.363636 18751.576172 163668 0 157732 167933.265625 least-occurring-first 0 0 0 0 0 5994 0 0 0 0 generated bobsynthetic2_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 24 66 424 9016 8760.583008 401.125000 66.000000 8848 8461 66 66 1.348485 15413.484375 177819 0 172074 141692.421875 least-occurring-first 0 0 0 0 0 5760 0 0 0 0 generated bobsynthor_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 1438 44 2860 15219 70.853966 24.550764 2.701669 2649 9 14 1 33.659092 89824.703125 1194498 0 1185673 3016269.500000 least-occurring-first 0 0 0 0 0 8830 0 0 0 0 generated bobsynthor_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 1470 44 2841 15324 73.706123 23.267347 2.664626 2680 7 14 1 34.386364 93132.023438 946969 0 939102 3149146.250000 least-occurring-first 1 0 0 0 0 7873 0 0 0 0 generated bobtuint10_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 75 70 379 2139 112.773331 36.973331 4.600000 350 9 16 1 1.828571 103584.875000 1877341 0 1864621 2422456.500000 least-occurring-first 0 0 0 0 0 12721 0 0 0 0 generated bobtuint11_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 73 70 379 2138 117.643837 38.438354 4.575343 350 9 16 1 1.800000 103008.039062 2195888 0 2184148 2414585.250000 least-occurring-first 0 0 0 0 0 11741 0 0 0 0 generated bobtuint12_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 75 70 379 2137 119.333336 39.080002 4.906667 352 7 16 1 1.828571 104973.984375 2372753 0 2358305 2470492.000000 least-occurring-first 0 0 0 0 0 14449 0 0 0 0 generated bobtuint13_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 73 70 379 2138 117.643837 38.438354 4.575343 350 9 16 1 1.800000 103008.039062 2164027 0 2145330 2414585.250000 least-occurring-first 0 0 0 0 0 18696 0 0 0 0 generated bobtuint14_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 75 70 379 2137 119.333336 39.080002 4.906667 352 7 16 1 1.828571 104973.984375 2047454 0 2034399 2470492.000000 least-occurring-first 1 0 0 0 0 13057 0 0 0 0 generated bobtuint15_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 73 70 379 2138 117.643837 38.438354 4.575343 350 9 16 1 1.800000 103008.039062 1770800 0 1758651 2414585.250000 least-occurring-first 1 0 0 0 0 12148 0 0 0 0 generated bobtuint16_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 75 70 379 2137 119.333336 39.080002 4.906667 352 7 16 1 1.828571 104973.984375 1798229 0 1786280 2470492.000000 least-occurring-first 0 0 0 0 0 11949 0 0 0 0 generated bobtuint17_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 73 70 379 2138 117.643837 38.438354 4.575343 350 9 16 1 1.800000 102414.984375 2077277 0 2064106 2400489.500000 least-occurring-first 1 0 0 0 0 13157 0 0 0 0 generated bobtuint18_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 75 70 379 2137 119.333336 39.080002 4.906667 352 7 16 1 1.828571 104973.984375 2228841 0 2215799 2470492.000000 least-occurring-first 0 0 0 0 0 13041 0 0 0 0 generated bobtuint19_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 73 70 379 2138 117.643837 38.438354 4.575343 350 9 16 1 1.800000 103008.039062 2034907 0 2022088 2414585.250000 least-occurring-first 0 0 0 0 0 12820 0 0 0 0 generated bobtuint20_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 75 70 379 2137 119.333336 39.080002 4.906667 352 7 16 1 1.828571 104973.984375 2058106 0 2041956 2470492.000000 least-occurring-first 0 0 0 0 0 16150 0 0 0 0 generated bobtuint21_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 73 70 379 2138 117.643837 38.438354 4.575343 350 9 16 1 1.800000 103008.039062 2062361 0 2045939 2414585.250000 least-occurring-first 1 0 0 0 0 16422 0 0 0 0 generated bobtuint22_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 75 70 379 2137 119.333336 39.080002 4.906667 352 7 16 1 1.828571 104973.984375 1852911 0 1837860 2470492.000000 least-occurring-first 0 0 0 0 0 15013 0 0 0 0 generated bobtuint23_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 73 70 379 2138 117.643837 38.438354 4.575343 350 9 16 1 1.800000 103008.039062 1882906 0 1871466 2414585.250000 least-occurring-first 0 0 0 0 0 11440 0 0 0 0 generated bobtuint27_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 75 70 379 2139 112.773331 36.973331 4.600000 350 9 16 1 1.828571 103584.875000 2184008 0 2172217 2422456.500000 least-occurring-first 0 0 0 0 0 11791 0 0 0 0 generated bobtuint28_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 73 70 379 2138 117.643837 38.438354 4.575343 350 9 16 1 1.800000 103008.039062 2207773 0 2193437 2414585.250000 least-occurring-first 1 0 0 0 0 14338 0 0 0 0 generated bobtuint29_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 73 70 379 2138 117.643837 38.438354 4.575343 350 9 16 1 1.800000 103008.039062 2260021 0 2245747 2414585.250000 least-occurring-first 0 0 0 0 0 14273 0 0 0 0 generated bobtuint30_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 73 70 379 2150 111.164383 36.465752 4.232877 352 9 16 1 1.800000 371139.437500 7010423 0 6968342 8836504.000000 least-occurring-first 0 0 0 0 0 42081 0 0 0 0 generated bobtuint31_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 78 70 379 2138 103.282051 34.217949 4.115385 352 7 16 1 1.871429 259144.687500 4459200 0 4427800 6101854.500000 least-occurring-first 1 0 0 0 0 31401 0 0 0 0 generated bobtuintand_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 74 70 379 2138 109.175674 35.824326 4.270270 352 9 16 1 1.814286 253246.796875 3590905 0 3568394 6017271.500000 least-occurring-first 0 0 0 0 0 22513 0 0 0 0 generated bobtuintor_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 76 70 379 2138 109.934212 36.026318 4.381579 352 7 16 1 1.842857 331932.812500 5242831 0 5204088 7803540.000000 least-occurring-first 0 0 0 0 0 38743 0 0 0 0 generated kenflashp12_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 31 21 98 878 30.677420 4.935484 1.225806 717 7 8 1 1.809524 715.619019 85 0 55 3521.333252 least-occurring-first 0 0 0 0 0 16 0 0 0 0 generated kenflashp12_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 39 21 97 1020 26.256411 3.564103 1.179487 902 3 8 1 2.190476 709.619019 70 0 56 2841.047607 least-occurring-first 0 0 0 0 0 14 0 0 0 0 generated kenoopp1_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 39 24 121 601 28.333334 7.000000 1.410256 412 7 9 1 1.958333 639.625000 62 0 44 4086.541748 least-occurring-first 0 0 0 0 0 18 0 0 0 0 generated kenoopp1_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 43 24 120 547 12.790698 3.837209 1.186046 412 3 9 1 2.125000 704.083313 100 0 86 4656.333496 least-occurring-first 0 0 0 0 0 14 0 0 0 0 generated pdtvishuffman0_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 20 5 39 307 59.549999 15.200000 4.800000 104 28 5 4 4.800000 777.799988 12 0 4 2775.399902 least-occurring-first 0 0 0 0 0 8 0 0 0 0 generated pdtvishuffman0_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 18 5 31 237 53.777779 14.888889 4.888889 98 27 5 4 4.400000 545.200012 19 0 2 2011.800049 least-occurring-first 0 0 0 0 0 4 0 0 0 0 generated pdtvishuffman1_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 22 5 39 307 59.363636 15.318182 4.863636 102 30 5 4 5.200000 767.000000 37 0 17 2721.600098 least-occurring-first 0 0 0 0 0 20 0 0 0 0 generated pdtvishuffman1_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 19 5 31 237 53.842106 14.894737 4.894737 98 27 5 4 4.600000 544.400024 10 0 3 2008.599976 least-occurring-first 0 0 0 0 0 7 0 0 0 0 generated pdtvishuffman2_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 19 5 39 308 56.684212 15.368421 4.842105 102 30 5 4 4.600000 779.799988 12 0 5 2781.800049 least-occurring-first 0 0 0 0 0 7 0 0 0 0 generated pdtvishuffman2_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 18 5 31 237 55.055557 14.888889 4.888889 98 27 5 4 4.400000 544.400024 11 0 3 2008.599976 least-occurring-first 0 0 0 0 0 8 0 0 0 0 generated pdtvishuffman3_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 19 5 39 308 58.105263 15.315789 4.842105 102 30 5 4 4.600000 768.400024 14 0 4 2722.800049 least-occurring-first 0 0 0 0 0 10 0 0 0 0 generated pdtvishuffman3_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 17 5 31 254 57.235294 15.882353 4.882353 98 29 5 4 4.200000 560.400024 11 0 3 2039.199951 least-occurring-first 0 0 0 0 0 8 0 0 0 0 generated pdtvishuffman4_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 17 5 39 307 59.941177 15.294118 4.823529 104 30 5 4 4.200000 759.200012 15 0 5 2688.399902 least-occurring-first 1 0 0 0 0 10 0 0 0 0 generated pdtvishuffman4_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 21 5 31 253 53.095238 15.666667 4.904762 98 27 5 4 5.000000 558.599976 11 0 3 2032.400024 least-occurring-first 0 0 0 0 0 8 0 0 0 0 generated pdtvishuffman5_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 20 5 39 308 60.299999 15.250000 4.800000 103 28 5 4 4.800000 775.400024 39 0 18 2761.600098 least-occurring-first 0 0 0 0 0 20 0 0 0 0 generated pdtvishuffman5_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 17 5 31 254 57.235294 15.882353 4.882353 98 29 5 4 4.200000 560.400024 10 0 3 2039.199951 least-occurring-first 0 0 0 0 0 7 0 0 0 0 generated pdtvishuffman6_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 19 5 39 308 58.842106 15.368421 4.842105 102 30 5 4 4.600000 769.599976 28 0 5 2729.800049 least-occurring-first 0 0 0 0 0 22 0 0 0 0 generated pdtvishuffman6_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 17 5 31 254 57.235294 15.882353 4.882353 98 29 5 4 4.200000 560.400024 23 0 3 2039.199951 least-occurring-first 0 0 0 0 0 20 0 0 0 0 generated pdtvishuffman7_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 18 5 39 308 61.666668 15.277778 4.833333 100 30 5 4 4.400000 767.400024 8 0 3 2717.800049 least-occurring-first 0 0 0 0 0 6 0 0 0 0 generated pdtvishuffman7_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 19 5 31 253 55.526318 15.736842 4.894737 98 27 5 4 4.600000 558.400024 8 0 2 2031.599976 least-occurring-first 0 0 0 0 0 5 0 0 0 0 generated pdtvistictactoe00_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 31 4 52 522 195.870972 20.322580 3.612903 253 9 4 2 8.500000 640.500000 34 0 14 1294.000000 least-occurring-first 0 0 0 0 0 22 0 0 0 0 generated pdtvistictactoe00_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 30 4 48 486 186.933334 19.266666 3.600000 268 5 4 2 8.250000 524.000000 23 0 1 973.500000 least-occurring-first 0 0 0 0 0 21 0 0 0 0 generated pdtvistictactoe01_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 28 4 52 517 187.357147 19.821428 3.571429 249 9 4 2 7.750000 634.500000 12 0 2 1281.750000 least-occurring-first 0 0 0 0 0 10 0 0 0 0 generated pdtvistictactoe01_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 33 4 48 476 187.212128 19.787878 3.636364 257 5 4 2 9.000000 515.000000 11 0 1 968.750000 least-occurring-first 0 0 0 0 0 10 0 0 0 0 generated pdtvistictactoe02_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 29 4 52 506 190.586212 20.000000 3.586207 252 9 4 2 8.000000 621.250000 24 0 2 1230.750000 least-occurring-first 0 0 0 0 0 23 0 0 0 0 generated pdtvistictactoe02_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 29 4 48 489 190.206894 19.827587 3.655172 260 5 4 2 8.000000 585.250000 11 0 2 1190.500000 least-occurring-first 0 0 0 0 0 9 0 0 0 0 generated pdtvistictactoe03_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 29 4 52 498 184.517242 20.000000 3.586207 244 9 4 2 8.000000 611.750000 12 0 2 1222.000000 least-occurring-first 0 0 0 0 0 11 0 0 0 0 generated pdtvistictactoe03_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 30 4 48 483 185.866669 20.000000 3.666667 253 5 4 2 8.250000 579.500000 20 0 2 1177.750000 least-occurring-first 1 0 0 0 0 17 0 0 0 0 generated pdtvistictactoe04_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 29 4 52 499 188.965515 20.000000 3.586207 249 9 4 2 8.000000 601.250000 11 0 1 1181.250000 least-occurring-first 1 0 0 0 0 9 0 0 0 0 generated pdtvistictactoe04_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 32 4 49 500 186.250000 20.375000 3.625000 257 5 4 2 8.750000 535.250000 8 0 1 974.000000 least-occurring-first 0 0 0 0 0 7 0 0 0 0 generated pdtvistictactoe05_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 27 4 52 518 186.000000 19.629629 3.555556 250 9 4 2 7.500000 647.000000 11 0 2 1315.750000 least-occurring-first 0 0 0 0 0 9 0 0 0 0 generated pdtvistictactoe05_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 30 4 48 480 183.133331 19.266666 3.600000 262 5 4 2 8.250000 516.750000 11 0 1 963.750000 least-occurring-first 0 0 0 0 0 10 0 0 0 0 generated pdtvistictactoe06_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 28 4 52 520 189.785721 19.892857 3.642857 253 9 4 2 7.750000 625.250000 6 0 1 1259.000000 least-occurring-first 0 0 0 0 0 7 0 0 0 0 generated pdtvistictactoe06_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 32 4 48 479 188.156250 19.625000 3.625000 258 5 4 2 8.750000 515.000000 28 0 1 955.500000 least-occurring-first 0 0 0 0 0 27 0 0 0 0 generated pdtvistictactoe07_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 31 4 52 505 194.193542 20.322580 3.612903 252 9 4 2 8.500000 608.750000 11 0 1 1184.250000 least-occurring-first 0 0 0 0 0 10 0 0 0 0 generated pdtvistictactoe07_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 39 4 49 515 199.512817 21.205128 3.692308 257 5 4 2 10.500000 621.500000 13 0 2 1247.000000 least-occurring-first 0 0 0 0 0 11 0 0 0 0 generated pdtvistictactoe08_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 30 4 52 503 190.266663 20.166666 3.600000 248 9 4 2 8.250000 629.250000 14 0 2 1264.250000 least-occurring-first 0 0 0 0 0 11 0 0 0 0 generated pdtvistictactoe08_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 34 4 48 489 188.911758 19.941177 3.647059 258 5 4 2 9.250000 594.750000 12 0 2 1221.000000 least-occurring-first 0 0 0 0 0 10 0 0 0 0 generated pdtvistictactoe09_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 33 4 52 500 197.818176 20.606060 3.636364 252 9 4 2 9.000000 616.750000 11 0 1 1214.750000 least-occurring-first 0 0 0 0 0 11 0 0 0 0 generated pdtvistictactoe09_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 35 4 48 492 194.085709 20.085714 3.657143 259 5 4 2 9.500000 597.750000 13 0 2 1230.500000 least-occurring-first 0 0 0 0 0 10 0 0 0 0 generated pdtvistictactoe10_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 29 4 52 518 188.620697 20.000000 3.586207 248 9 4 2 8.000000 643.250000 12 0 2 1305.000000 least-occurring-first 0 0 0 0 0 10 0 0 0 0 generated pdtvistictactoe10_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 30 4 48 476 181.866669 19.266666 3.600000 258 5 4 2 8.250000 510.250000 11 0 1 948.250000 least-occurring-first 0 0 0 0 0 10 0 0 0 0 generated pdtvistictactoe11_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 31 4 52 523 196.000000 20.322580 3.612903 253 9 4 2 8.500000 648.250000 14 0 2 1312.500000 least-occurring-first 0 0 0 0 0 12 0 0 0 0 generated pdtvistictactoe11_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 30 4 48 486 186.933334 19.266666 3.600000 268 5 4 2 8.250000 524.000000 10 0 1 972.750000 least-occurring-first 0 0 0 0 0 10 0 0 0 0 generated pdtvistictactoe12_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 30 4 52 516 188.866669 20.166666 3.600000 246 9 4 2 8.250000 634.750000 13 0 2 1273.500000 least-occurring-first 0 0 0 0 0 10 0 0 0 0 generated pdtvistictactoe12_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 30 4 49 506 187.166672 20.066668 3.600000 263 5 4 2 8.250000 542.500000 10 0 1 986.250000 least-occurring-first 0 0 0 0 0 9 0 0 0 0 generated pdtvistictactoe13_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 33 4 52 498 195.545456 20.606060 3.636364 248 9 4 2 9.000000 608.250000 12 0 1 1191.750000 least-occurring-first 0 0 0 0 0 11 0 0 0 0 generated pdtvistictactoe13_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 33 4 48 488 195.363632 20.454546 3.696970 256 5 4 2 9.000000 590.250000 14 0 2 1201.250000 least-occurring-first 0 0 0 0 0 11 0 0 0 0 generated pdtvistimeout0_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 43 10 74 624 47.534885 13.093023 4.139535 148 9 10 1 5.200000 5084.899902 273 0 237 43045.800781 least-occurring-first 0 0 0 0 0 35 0 0 0 0 generated pdtvistimeout0_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 44 10 73 708 56.431820 14.181818 4.545455 156 5 10 1 5.300000 4881.299805 262 0 227 40715.800781 least-occurring-first 0 0 0 0 0 35 0 0 0 0 generated pdtvistimeout1_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 43 10 74 624 47.488373 13.093023 4.139535 148 9 10 1 5.200000 5084.899902 279 0 241 43045.800781 least-occurring-first 0 0 0 0 0 38 0 0 0 0 generated pdtvistimeout1_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 45 10 73 708 57.311111 14.400000 4.644444 156 5 10 1 5.400000 4908.799805 268 0 229 40969.398438 least-occurring-first 0 0 0 0 0 38 0 0 0 0 generated pdtvistimeout2_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 43 10 74 615 49.930233 13.767442 4.232558 148 9 10 1 5.200000 5257.299805 286 0 247 44641.101562 least-occurring-first 0 0 0 0 0 39 0 0 0 0 generated pdtvistimeout2_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 44 10 73 707 57.659092 14.068182 4.545455 156 5 10 1 5.300000 4951.000000 268 0 229 41355.500000 least-occurring-first 0 0 0 0 0 39 0 0 0 0 generated pdtvistimeout3_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 43 10 74 624 47.488373 13.093023 4.139535 148 9 10 1 5.200000 5084.899902 290 0 250 43045.800781 least-occurring-first 0 0 0 0 0 40 0 0 0 0 generated pdtvistimeout3_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 45 10 73 708 57.311111 14.400000 4.644444 156 5 10 1 5.400000 4908.799805 272 0 234 40969.398438 least-occurring-first 0 0 0 0 0 38 0 0 0 0 generated pdtvistwo0_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 7 6 18 59 8.428572 3.000000 1.000000 9 7 1 1 1.166667 5.000000 2 0 0 5.000000 least-occurring-first 1 0 0 0 0 2 0 0 0 0 generated pdtvistwo0_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 10 6 12 35 3.400000 2.000000 1.000000 5 3 1 1 1.666667 1.000000 1 0 0 1.000000 least-occurring-first 0 0 0 0 0 1 0 0 0 0 generated pdtvistwo1_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 7 6 18 59 8.428572 3.000000 1.000000 9 7 1 1 1.166667 5.000000 2 0 0 5.000000 least-occurring-first 0 0 0 0 0 2 0 0 0 0 generated pdtvistwo1_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 10 6 12 35 3.400000 2.000000 1.000000 5 3 1 1 1.666667 1.000000 23 0 0 1.000000 least-occurring-first 0 0 0 0 0 23 0 0 0 0 generated pdtvistwoall0_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 9 6 18 59 7.666667 3.000000 1.000000 9 7 1 1 1.500000 5.000000 4 0 1 5.000000 least-occurring-first 0 0 0 0 0 2 0 0 0 0 generated pdtvistwoall0_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 10 6 12 35 3.400000 2.000000 1.000000 5 3 1 1 1.666667 1.000000 1 0 0 1.000000 least-occurring-first 0 0 0 0 0 1 0 0 0 0 generated pdtvistwoall1_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 9 6 18 59 7.666667 3.000000 1.000000 9 7 1 1 1.500000 5.000000 3 0 0 5.000000 least-occurring-first 0 0 0 0 0 3 0 0 0 0 generated pdtvistwoall1_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 10 6 12 35 3.400000 2.000000 1.000000 5 3 1 1 1.666667 1.000000 2 0 0 1.000000 least-occurring-first 0 0 0 0 0 1 0 0 0 0 generated pdtvistwoall2_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 9 6 18 59 7.666667 3.000000 1.000000 9 7 1 1 1.500000 5.000000 4 0 0 5.000000 least-occurring-first 0 0 0 0 0 4 0 0 0 0 generated pdtvistwoall2_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 10 6 12 35 3.400000 2.000000 1.000000 5 3 1 1 1.666667 1.000000 2 0 0 1.000000 least-occurring-first 0 0 0 0 0 1 0 0 0 0 generated pdtvistwoall3_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 9 6 18 59 7.666667 3.000000 1.000000 9 7 1 1 1.500000 5.000000 3 0 0 5.000000 least-occurring-first 0 0 0 0 0 3 0 0 0 0 generated pdtvistwoall3_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 10 6 12 35 3.400000 2.000000 1.000000 5 3 1 1 1.666667 1.000000 1 0 0 1.000000 least-occurring-first 1 0 0 0 0 1 0 0 0 0 generated pdtvisvending00_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 32 2 53 403 73.250000 15.312500 1.968750 98 54 2 1 16.500000 432.500000 5 0 0 581.500000 least-occurring-first 0 0 0 0 0 5 0 0 0 0 generated pdtvisvending00_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 28 2 54 385 72.250000 15.464286 1.928571 138 44 2 1 14.500000 379.500000 4 0 0 524.000000 least-occurring-first 0 0 0 0 0 4 0 0 0 0 generated pdtvisvending01_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 29 2 53 436 74.103447 15.275862 1.965517 100 54 2 1 15.000000 471.500000 5 0 0 626.500000 least-occurring-first 0 0 0 0 0 4 0 0 0 0 generated pdtvisvending01_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 29 2 54 384 72.896553 15.551724 1.965517 138 46 2 1 15.000000 388.500000 4 0 0 531.000000 least-occurring-first 0 0 0 0 0 3 0 0 0 0 generated pdtvisvending02_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 28 2 53 423 73.392860 15.285714 1.964286 100 54 2 1 14.500000 454.500000 2 0 0 605.000000 least-occurring-first 0 0 0 0 0 2 0 0 0 0 generated pdtvisvending02_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 27 2 54 375 73.666664 15.555555 1.962963 138 46 2 1 14.000000 371.500000 4 0 0 508.500000 least-occurring-first 0 0 0 0 0 4 0 0 0 0 generated pdtvisvending03_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 29 2 53 427 74.379311 15.517241 1.965517 98 54 2 1 15.000000 456.500000 3 0 0 606.000000 least-occurring-first 0 0 0 0 0 4 0 0 0 0 generated pdtvisvending03_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 31 2 54 374 70.645164 15.354838 1.935484 138 44 2 1 16.000000 371.000000 4 0 0 508.000000 least-occurring-first 0 0 0 0 0 4 0 0 0 0 generated pdtvisvending04_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 30 2 53 437 73.666664 15.600000 1.966667 100 54 2 1 15.500000 468.000000 4 0 0 620.000000 least-occurring-first 0 0 0 0 0 4 0 0 0 0 generated pdtvisvending04_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 28 2 54 384 66.714287 15.464286 1.964286 140 46 2 1 14.500000 386.500000 2 0 0 525.000000 least-occurring-first 0 0 0 0 0 2 0 0 0 0 generated pdtvisvending05_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 27 2 53 437 74.111115 15.296296 1.962963 100 54 2 1 14.000000 468.500000 4 0 0 620.000000 least-occurring-first 0 0 0 0 0 4 0 0 0 0 generated pdtvisvending05_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 27 2 54 380 72.037041 15.518518 1.962963 138 46 2 1 14.000000 383.000000 3 0 0 519.000000 least-occurring-first 0 0 0 0 0 3 0 0 0 0 generated pdtvisvending06_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 27 2 53 435 73.333336 15.259259 1.962963 100 54 2 1 14.000000 470.500000 4 0 0 621.000000 least-occurring-first 0 0 0 0 0 4 0 0 0 0 generated pdtvisvending06_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 26 2 54 385 68.769234 15.346154 1.923077 140 44 2 1 13.500000 395.000000 4 0 0 536.000000 least-occurring-first 0 0 0 0 0 4 0 0 0 0 generated pdtvisvending07_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 32 2 53 449 72.781250 15.281250 1.968750 100 54 2 1 16.500000 478.500000 4 0 0 630.500000 least-occurring-first 0 0 0 0 0 4 0 0 0 0 generated pdtvisvending07_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 27 2 54 388 69.481483 15.555555 1.962963 140 46 2 1 14.000000 391.500000 3 0 0 529.000000 least-occurring-first 0 0 0 0 0 3 0 0 0 0 generated pdtvisvending08_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 29 2 53 427 74.241379 15.482759 1.965517 100 54 2 1 15.000000 462.500000 4 0 0 616.000000 least-occurring-first 0 0 0 0 0 4 0 0 0 0 generated pdtvisvending08_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 30 2 54 390 68.633331 15.266666 1.933333 138 44 2 1 15.500000 392.000000 3 0 0 530.500000 least-occurring-first 0 0 0 0 0 4 0 0 0 0 generated pdtvisvending09_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 29 2 53 436 74.103447 15.275862 1.965517 100 54 2 1 15.000000 471.500000 4 0 0 626.500000 least-occurring-first 0 0 0 0 0 5 0 0 0 0 generated pdtvisvending09_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 29 2 54 384 72.896553 15.551724 1.965517 138 46 2 1 15.000000 388.500000 4 0 0 531.000000 least-occurring-first 0 0 0 0 0 4 0 0 0 0 generated pdtvisvending10_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 29 2 53 436 74.103447 15.275862 1.965517 100 54 2 1 15.000000 471.500000 4 0 0 626.500000 least-occurring-first 0 0 0 0 0 4 0 0 0 0 generated pdtvisvending10_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 27 2 54 401 75.407410 16.407408 1.925926 138 44 2 1 14.000000 392.500000 4 0 0 540.000000 least-occurring-first 0 0 0 0 0 4 0 0 0 0 generated ringp0_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 26 15 59 306 15.000000 5.230769 1.653846 141 7 11 1 2.466667 1088.666626 160 0 135 9805.000000 least-occurring-first 0 0 0 0 0 24 0 0 0 0 generated ringp0_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 30 15 59 269 11.033334 4.366667 1.600000 150 3 11 1 2.733333 900.599976 106 0 89 7492.799805 least-occurring-first 0 0 0 0 0 17 0 0 0 0 generated ringp0neg_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 26 15 59 306 15.000000 5.230769 1.653846 141 7 11 1 2.466667 1131.133301 161 0 136 10224.133789 least-occurring-first 0 0 0 0 0 24 0 0 0 0 generated ringp0neg_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 28 15 59 269 11.035714 4.214286 1.571429 150 3 11 1 2.600000 922.799988 106 0 89 7670.799805 least-occurring-first 0 0 0 0 0 17 0 0 0 0 generated shortp0_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 16 10 38 179 15.125000 5.375000 1.500000 91 7 8 1 2.300000 254.899994 47 0 8 1332.000000 least-occurring-first 0 0 0 0 0 39 0 0 0 0 generated shortp0_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 18 10 35 154 9.888889 4.055555 1.388889 93 3 8 1 2.500000 241.699997 10 0 6 1330.400024 least-occurring-first 0 0 0 0 0 4 0 0 0 0 generated shortp0neg_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 15 10 34 162 13.800000 4.600000 1.466667 91 7 8 1 2.200000 264.600006 11 0 6 1448.300049 least-occurring-first 0 0 0 0 0 4 0 0 0 0 generated shortp0neg_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 18 10 35 154 9.888889 4.055555 1.388889 93 3 8 1 2.500000 247.899994 12 0 6 1375.099976 least-occurring-first 0 0 0 0 0 6 0 0 0 0 generated kenflashp01_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 37 24 133 699 21.783783 5.675676 1.513514 530 7 20 1 2.333333 492719.593750 1115487 0 1095016 9130125.000000 least-occurring-first 0 0 0 0 0 20471 0 0 0 0 generated kenflashp01_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 43 24 130 690 16.372093 4.325582 1.441860 566 3 20 1 2.583333 620471.687500 1186128 0 1164040 10080623.000000 least-occurring-first 0 0 0 0 0 22087 0 0 0 0 generated kenflashp04_all_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 47 31 160 825 20.340425 5.361702 1.382979 602 7 19 1 2.096774 164818.812500 270530 0 263267 2052766.625000 least-occurring-first 0 0 0 0 0 7263 0 0 0 0 generated kenflashp04_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 56 31 157 826 14.964286 4.000000 1.321429 659 3 19 1 2.387097 125202.710938 241508 0 235651 2198642.500000 least-occurring-first 0 0 0 0 0 5857 0 0 0 0 generated visprodcellp01_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 54 30 93 420 8.203704 3.129630 1.537037 270 3 30 1 - - MO - - - - - - - - - - - - - - generated visprodcellp03_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 54 30 93 420 8.203704 3.129630 1.537037 270 3 30 1 - - MO - - - - - - - - - - - - - - generated visprodcellp07_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 54 30 93 420 8.203704 3.129630 1.537037 270 3 30 1 - - MO - - - - - - - - - - - - - - generated visprodcellp22_all_bit_differing_from_true_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 54 30 93 420 8.203704 3.129630 1.537037 270 3 30 1 - - MO - - - - - - - - - - - - - - generated bobsm5378d2_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 422 290 546 4374 33.620853 11.689573 4.421801 2134 3 257 1 - - AF - - - - - - - - - - - - - - generated bobsm9234_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 433 377 720 5070 41.383373 13.951501 3.120092 687 1 344 1 - - AF - - - - - - - - - - - - - - generated bobsmcodic_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 2671 1884 3734 36046 75.312988 19.440659 2.848746 22266 9 1851 1 - - AF - - - - - - - - - - - - - - generated bobsmfpu_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 1413 1024 1930 41752 1695.535034 31.099787 1.907290 35247 3 907 1 - - AF - - - - - - - - - - - - - - generated bobsmhdlc1_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 442 339 629 5000 38.782806 13.160633 2.558824 2223 7 291 1 - - AF - - - - - - - - - - - - - - generated bobsmhdlc2_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 449 338 627 5042 38.391983 13.115813 2.601336 2270 7 290 1 - - AF - - - - - - - - - - - - - - generated bobsmhdlc3_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 450 349 649 5256 39.908890 13.306666 2.653333 2425 5 301 1 - - AF - - - - - - - - - - - - - - generated bobsmhdlc_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 450 340 631 5150 37.284443 12.686666 2.548889 2398 3 292 1 - - AF - - - - - - - - - - - - - - generated eijkbs1512_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 253 188 346 3731 79.750992 22.438736 4.462451 1863 11 159 2 - - AF - - - - - - - - - - - - - - generated eijkbs4863_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 385 306 562 12090 108.792206 17.257143 8.366234 7307 9 257 1 - - AF - - - - - - - - - - - - - - generated neclaftp2001_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 7034 4751 9782 68036 63.227039 23.271112 2.234717 11055 1 4719 1 - - MO - - - - - - - - - - - - - - generated neclaftp2002_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 7013 4751 9782 72628 66.440041 23.949522 2.244974 19532 1 4719 1 - - MO - - - - - - - - - - - - - - generated neclaftp3001_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 3904 2828 5654 48872 75.911888 23.656250 2.558658 20606 1 2796 1 - - AF - - - - - - - - - - - - - - generated neclaftp3002_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 3973 2828 5654 56832 78.728668 23.701485 2.543670 30689 1 2796 1 - - AF - - - - - - - - - - - - - - generated neclaftp4001_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 1545 1004 2098 15713 51.941746 17.822653 1.995469 6813 1 972 1 - - AF - - - - - - - - - - - - - - generated neclaftp4002_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 1502 1004 2098 13446 49.646473 17.182423 1.378163 4697 1 2 1 1.500000 50.590637 22017 0 3564 50.088646 least-occurring-first 2 0 0 0 0 18458 0 0 0 0 generated pdtpmsgigamax_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 185 146 269 3072 192.183777 50.389191 8.821622 1721 3 124 1 - - AF - - - - - - - - - - - - - - generated pdtpmsmiim_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 269 250 459 2666 31.089220 11.078067 2.925651 419 1 210 1 - - AF - - - - - - - - - - - - - - generated pdtpmsns3_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 763 494 966 14151 150.003937 43.262123 5.321101 9017 7 473 1 - - AF - - - - - - - - - - - - - - generated pdtpmsrotate32_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 227 168 298 3957 68.546257 18.889868 4.427313 1888 3 131 1 - - AF - - - - - - - - - - - - - - generated pdtpmssfeistel_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 1116 824 1579 17579 68.839607 20.190861 4.977599 9159 11 756 1 - - AF - - - - - - - - - - - - - - generated pdtpmsvsa16a_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 603 423 844 7946 53.451077 15.681592 1.179104 1074 1 5 1 1.453901 50.092197 3821 0 631 51.193855 least-occurring-first 1 0 0 0 0 3190 0 0 0 0 generated pdtvismiim0_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 108 127 213 1455 33.157406 12.972222 3.805556 371 7 87 1 - - AF - - - - - - - - - - - - - - generated pdtvismiim1_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 105 127 213 1479 33.771427 13.066667 3.904762 430 9 87 1 - - AF - - - - - - - - - - - - - - generated pdtvismiim2_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 108 127 213 1455 33.157406 12.972222 3.805556 371 7 87 1 - - AF - - - - - - - - - - - - - - generated pdtvismiim3_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 105 127 213 1479 33.771427 13.066667 3.904762 430 9 87 1 - - AF - - - - - - - - - - - - - - generated pdtvismiim4_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 125 127 213 1481 32.824001 12.968000 3.824000 424 7 87 1 - - AF - - - - - - - - - - - - - - generated pdtvismiim5_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 105 127 213 1479 33.771427 13.066667 3.904762 430 9 87 1 - - AF - - - - - - - - - - - - - - generated pdtvismiim6_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 108 127 213 1455 33.157406 12.972222 3.805556 371 7 87 1 - - AF - - - - - - - - - - - - - - generated pdtvissfeistel_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 654 430 791 9223 60.310398 17.706423 5.029052 4781 14 362 1 - - AF - - - - - - - - - - - - - - generated pdtvissoap0_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 378 242 462 4570 45.433861 11.973545 2.277778 2639 3 221 1 2.557851 22198.751953 7200000 0 - - least-occurring-first 0 0 0 0 0 8738 0 0 0 0 generated pdtvissoap1_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 366 242 462 4557 45.959015 11.991803 2.289618 2628 3 221 1 2.508265 24937.429688 7200000 0 - - least-occurring-first 1 0 0 0 0 9545 0 0 0 0 generated pdtvissoap2_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 379 242 462 4563 45.517151 12.021109 2.284961 2632 3 221 1 2.561984 10146.929688 7200000 0 - - least-occurring-first 0 0 0 0 0 3923 0 0 0 0 generated pdtvisvsa16a00_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 295 254 490 4303 45.555931 15.298306 1.237288 332 1 3 1 1.354331 45.700787 1191 0 186 48.031498 least-occurring-first 1 0 0 0 0 1006 0 0 0 0 generated pdtvisvsa16a01_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 295 254 490 4303 45.555931 15.298306 1.237288 332 1 3 1 1.354331 45.700787 1195 0 187 48.031498 least-occurring-first 1 0 0 0 0 1009 0 0 0 0 generated pdtvisvsa16a02_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 295 254 490 4303 45.555931 15.298306 1.237288 332 1 3 1 1.354331 45.700787 1224 0 188 48.031498 least-occurring-first 1 0 0 0 0 1035 0 0 0 0 generated pdtvisvsa16a03_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 305 254 490 4308 44.468853 15.327868 1.229508 334 1 2 1 1.389764 44.992126 1219 0 195 46.263779 least-occurring-first 0 0 0 0 0 1025 0 0 0 0 generated texasifetch1p1_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 77 86 145 789 17.402597 7.038961 2.883117 119 1 60 1 1.197674 20.116280 57 0 16 23.116280 least-occurring-first 0 0 0 0 0 41 0 0 0 0 generated texasifetch1p2_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 77 86 145 731 15.610390 6.233766 2.012987 50 1 12 1 0.976744 12.395349 54 0 16 22.127907 least-occurring-first 1 0 0 0 0 38 0 0 0 0 generated texasifetch1p3_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 73 86 145 731 16.260275 6.410959 2.068493 50 1 12 1 0.965116 14.139535 59 0 20 32.627907 least-occurring-first 0 0 0 0 0 39 0 0 0 0 generated texasifetch1p4_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 75 86 145 791 17.546667 7.133333 2.920000 119 1 60 1 1.860465 181157.609375 7200000 0 - - least-occurring-first 0 0 0 0 0 35521 0 0 0 0 generated texasifetch1p5_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 73 86 145 730 16.534246 6.465754 2.136986 49 1 12 1 0.953488 13.302325 56 0 18 28.255814 least-occurring-first 1 0 0 0 0 38 0 0 0 0 generated texasifetch1p8_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 76 86 145 730 16.157894 6.381579 2.157895 50 1 12 1 1.000000 13.406977 57 0 19 28.523256 least-occurring-first 0 0 0 0 0 39 0 0 0 0 generated viselevatorp1_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 55 69 109 882 34.018181 10.127273 2.709091 439 3 41 1 1.782609 139136.468750 7200000 0 - - least-occurring-first 0 0 0 0 0 12867 0 0 0 0 generated viselevatorp2_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 49 69 109 842 37.346939 10.918367 2.857143 398 3 41 1 1.695652 102426.046875 3919238 0 3908467 5468988.500000 least-occurring-first 0 0 0 0 0 10771 0 0 0 0 generated viselevatorp3_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 55 69 109 877 34.963634 10.436363 2.636364 415 3 41 1 1.782609 78534.812500 3373065 0 3363868 5003501.000000 least-occurring-first 0 0 0 0 0 9188 0 0 0 0 generated visprodcellp01_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 127 109 187 1658 41.716534 10.015748 2.433071 917 3 79 1 - - AF - - - - - - - - - - - - - - generated visprodcellp03_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 115 109 187 1644 43.026089 10.278261 2.539130 903 3 79 1 - - MO - - - - - - - - - - - - - - generated visprodcellp07_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 115 109 187 1644 43.026089 10.278261 2.539130 903 3 79 1 - - MO - - - - - - - - - - - - - - generated visprodcellp22_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 115 109 187 1644 43.026089 10.278261 2.539130 903 3 79 1 - - MO - - - - - - - - - - - - - - generated pdtvisvsa16a04_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 295 254 490 4306 45.559322 15.298306 1.237288 332 1 3 1 1.354331 45.704723 1226 0 186 48.035435 least-occurring-first 0 0 0 0 0 1042 0 0 0 0 generated pdtvisvsa16a05_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 305 254 490 4304 45.003277 15.222951 1.219672 332 1 3 1 1.389764 45.322834 1227 0 190 47.055119 least-occurring-first 0 0 0 0 0 1038 0 0 0 0 generated pdtvisvsa16a06_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 290 254 490 4300 45.620689 15.548276 1.206897 334 1 2 1 1.330709 45.200787 1237 0 183 46.818897 least-occurring-first 0 0 0 0 0 1055 0 0 0 0 generated pdtvisvsa16a07_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 302 254 490 4309 45.645695 15.516557 1.195364 332 1 2 1 1.366142 44.744095 1272 0 184 45.799213 least-occurring-first 0 0 0 0 0 1089 0 0 0 0 generated pdtvisvsa16a08_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 312 254 490 4305 45.205128 15.339744 1.214744 333 1 2 1 1.417323 45.299213 1275 0 187 46.980316 least-occurring-first 0 0 0 0 0 1091 0 0 0 0 generated pdtvisvsa16a09_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 291 254 490 4306 45.714775 15.553265 1.237113 335 1 2 1 1.318898 44.968502 1194 0 190 45.972443 least-occurring-first 0 0 0 0 0 1005 0 0 0 0 generated pdtvisvsa16a10_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 299 254 490 4313 46.936455 15.882943 1.204013 332 1 2 1 1.342520 44.555119 1328 0 184 45.330708 least-occurring-first 1 0 0 0 0 1144 0 0 0 0 generated pdtvisvsa16a11_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 295 254 490 4303 45.555931 15.298306 1.237288 332 1 3 1 1.354331 45.700787 1183 0 185 48.031498 least-occurring-first 0 0 0 0 0 998 0 0 0 0 generated pdtvisvsa16a12_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 295 254 490 4303 45.555931 15.298306 1.237288 332 1 3 1 1.354331 45.700787 1181 0 185 48.031498 least-occurring-first 1 0 0 0 0 996 0 0 0 0 generated pdtvisvsa16a13_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 306 254 490 4303 45.836601 15.503268 1.222222 332 1 2 1 1.397638 44.937008 1261 0 186 46.114174 least-occurring-first 0 0 0 0 0 1075 0 0 0 0 generated pdtvisvsa16a14_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 301 254 490 4308 46.986710 15.956811 1.202658 332 1 2 1 1.370079 44.956692 1294 0 180 46.275589 least-occurring-first 0 0 0 0 0 1114 0 0 0 0 generated pdtvisvsa16a15_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 301 254 490 4308 46.986710 15.956811 1.202658 332 1 2 1 1.370079 44.956692 1306 0 179 46.275589 least-occurring-first 1 0 0 0 0 1111 0 0 0 0 generated pdtvisvsa16a16_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 295 254 490 4303 45.555931 15.298306 1.237288 332 1 3 1 1.354331 45.700787 1194 0 185 48.031498 least-occurring-first 1 0 0 0 0 1009 0 0 0 0 generated pdtvisvsa16a17_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 293 254 490 4298 46.583618 15.706485 1.245734 333 1 3 1 1.342520 45.208660 1242 0 188 46.645668 least-occurring-first 1 0 0 0 0 1039 0 0 0 0 generated pdtvisvsa16a18_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 289 254 490 4299 46.934258 15.809689 1.238754 332 1 4 1 1.334646 46.153542 1251 0 185 50.870079 least-occurring-first 1 0 0 0 0 1067 0 0 0 0 generated pdtvisvsa16a19_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 303 254 490 4308 47.280529 16.168316 1.227723 332 1 2 1 1.374016 44.885826 1314 0 186 46.047245 least-occurring-first 0 0 0 0 0 1128 0 0 0 0 generated pdtvisvsa16a20_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 295 254 490 4307 45.925423 15.454237 1.247458 332 1 3 1 1.346457 45.055119 1198 0 186 46.586613 least-occurring-first 0 0 0 0 0 1015 0 0 0 0 generated pdtvisvsa16a21_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 295 254 490 4303 45.555931 15.298306 1.237288 332 1 3 1 1.354331 45.700787 1182 0 184 48.031498 least-occurring-first 0 0 0 0 0 998 0 0 0 0 generated pdtvisvsa16a22_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 295 254 490 4303 45.555931 15.298306 1.237288 332 1 3 1 1.354331 45.700787 1209 0 185 48.031498 least-occurring-first 0 0 0 0 0 1025 0 0 0 0 generated pdtvisvsa16a23_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 295 254 490 4303 45.555931 15.298306 1.237288 332 1 3 1 1.354331 45.700787 1194 0 185 48.031498 least-occurring-first 0 0 0 0 0 1010 0 0 0 0 generated pdtvisvsa16a24_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 295 254 490 4303 45.555931 15.298306 1.237288 332 1 3 1 1.354331 45.700787 1187 0 185 48.031498 least-occurring-first 0 0 0 0 0 1002 0 0 0 0 generated pdtvisvsa16a25_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 295 254 490 4303 45.555931 15.298306 1.237288 332 1 3 1 1.354331 45.700787 1200 0 185 48.031498 least-occurring-first 1 0 0 0 0 996 0 0 0 0 generated pdtvisvsa16a26_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 295 254 490 4303 45.555931 15.298306 1.237288 332 1 3 1 1.354331 45.700787 1238 0 186 48.031498 least-occurring-first 0 0 0 0 0 1053 0 0 0 0 generated pdtvisvsa16a27_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 295 254 490 4303 45.555931 15.298306 1.237288 332 1 3 1 1.354331 45.700787 1194 0 185 48.031498 least-occurring-first 0 0 0 0 0 1010 0 0 0 0 generated pdtvisvsa16a29_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 304 254 490 4301 44.575657 15.361842 1.194079 334 1 2 1 1.374016 44.771652 1233 0 187 45.826771 least-occurring-first 0 0 0 0 0 1047 0 0 0 0 generated pdtvisvsa16a31_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v prolient monolithic_compositionqe_cofactorskf_cofactorone 290 254 490 4296 46.437931 15.565517 1.251724 333 1 4 1 1.338583 45.704723 1245 0 189 48.196850 least-occurring-first 1 0 0 0 0 1033 0 0 0 0