column1 = benchmark name column2 = time in CEGARSKOLEMGEN in milliseconds column3 = time in MONOCOMPSKOLEMGEN in milliseconds bobsm5378d2_all_bit_differing_from_cycle_tseitin.v 60614 11122 bobsm5378d2_all_bit_differing_from_true_tseitin.v 15582 6963 bobsm9234_all_bit_differing_from_cycle_tseitin.v 270221 2080 bobsm9234_all_bit_differing_from_true_tseitin.v 235701 20104 bobsmcodic_all_bit_differing_from_cycle_tseitin.v 54233 4599 bobsmcodic_all_bit_differing_from_true_tseitin.v 14739 2744 bobsmfpu_all_bit_differing_from_cycle_tseitin.v 9138 5893 bobsmfpu_all_bit_differing_from_true_tseitin.v 2767 2976 bobsmhdlc1_all_bit_differing_from_cycle_tseitin.v 3723 8352 bobsmhdlc1_all_bit_differing_from_true_tseitin.v 2108 7060 bobsmhdlc2_all_bit_differing_from_cycle_tseitin.v 4081 6023 bobsmhdlc2_all_bit_differing_from_true_tseitin.v 2075 4361 bobsmhdlc3_all_bit_differing_from_cycle_tseitin.v 4043 5802 bobsmhdlc3_all_bit_differing_from_true_tseitin.v 2095 4580 bobsmhdlc_all_bit_differing_from_cycle_tseitin.v 3817 6368 bobsmhdlc_all_bit_differing_from_true_tseitin.v 2406 4453 bobtuint00_all_bit_differing_from_cycle_tseitin.v 116491 6536067 bobtuint04_all_bit_differing_from_cycle_tseitin.v 138898 1788663 bobtuint05_all_bit_differing_from_cycle_tseitin.v 161521 1629201 bobtuint06_all_bit_differing_from_cycle_tseitin.v 174188 2976679 bobtuint07_all_bit_differing_from_cycle_tseitin.v 130762 1632260 bobtuint08_all_bit_differing_from_cycle_tseitin.v 155985 7200000 bobtuint09_all_bit_differing_from_cycle_tseitin.v 133004 1638005 eijkbs1512_all_bit_differing_from_cycle_tseitin.v 3756 360 eijkbs4863_all_bit_differing_from_cycle_tseitin.v 7200000 1619225 kenflashp02_all_bit_differing_from_cycle_tseitin.v 42451 49731 kenflashp02_all_bit_differing_from_true_tseitin.v 198882 28166 neclaftp2001_all_bit_differing_from_true_tseitin.v 21444 2027 neclaftp2002_all_bit_differing_from_cycle_tseitin.v 50333 2741 neclaftp2002_all_bit_differing_from_true_tseitin.v 48270 2051 neclaftp3001_all_bit_differing_from_cycle_tseitin.v 28402 1605 neclaftp3001_all_bit_differing_from_true_tseitin.v 12643 1252 neclaftp3002_all_bit_differing_from_cycle_tseitin.v 36236 1669 neclaftp3002_all_bit_differing_from_true_tseitin.v 17862 1258 neclaftp4001_all_bit_differing_from_cycle_tseitin.v 874 269 neclaftp4001_all_bit_differing_from_true_tseitin.v 530 203 neclaftp4002_all_bit_differing_from_cycle_tseitin.v 851 272 neclaftp4002_all_bit_differing_from_true_tseitin.v 521 206 pdtpmsgigamax_all_bit_differing_from_cycle_tseitin.v 41284 14828 pdtpmsgigamax_all_bit_differing_from_true_tseitin.v 37402 15352 pdtpmsmiim_all_bit_differing_from_cycle_tseitin.v 675 230 pdtpmsmiim_all_bit_differing_from_true_tseitin.v 333 164 pdtpmsns3_all_bit_differing_from_cycle_tseitin.v 3059338 930471 pdtpmsns3_all_bit_differing_from_true_tseitin.v 1446562 1033459 pdtpmsrotate32_all_bit_differing_from_cycle_tseitin.v 7200000 192 pdtpmsrotate32_all_bit_differing_from_true_tseitin.v 7200000 176 pdtpmssfeistel_all_bit_differing_from_cycle_tseitin.v 92939 26720 pdtpmssfeistel_all_bit_differing_from_true_tseitin.v 74836 20925 pdtpmsvsa16a_all_bit_differing_from_cycle_tseitin.v 116 49 pdtpmsvsa16a_all_bit_differing_from_true_tseitin.v 57 29 pdtvismiim0_all_bit_differing_from_cycle_tseitin.v 726 180 pdtvismiim0_all_bit_differing_from_true_tseitin.v 503 131 pdtvismiim1_all_bit_differing_from_cycle_tseitin.v 755 182 pdtvismiim1_all_bit_differing_from_true_tseitin.v 531 130 pdtvismiim2_all_bit_differing_from_cycle_tseitin.v 726 179 pdtvismiim2_all_bit_differing_from_true_tseitin.v 501 132 pdtvismiim3_all_bit_differing_from_cycle_tseitin.v 755 186 pdtvismiim3_all_bit_differing_from_true_tseitin.v 607 131 pdtvismiim4_all_bit_differing_from_cycle_tseitin.v 855 188 pdtvismiim4_all_bit_differing_from_true_tseitin.v 487 129 pdtvismiim5_all_bit_differing_from_cycle_tseitin.v 752 186 pdtvismiim5_all_bit_differing_from_true_tseitin.v 710 127 pdtvismiim6_all_bit_differing_from_cycle_tseitin.v 731 186 pdtvismiim6_all_bit_differing_from_true_tseitin.v 497 130 pdtvissfeistel_all_bit_differing_from_cycle_tseitin.v 7200000 11030 pdtvissfeistel_all_bit_differing_from_true_tseitin.v 13921 10075 pdtvissoap0_all_bit_differing_from_cycle_tseitin.v 338 86 pdtvissoap0_all_bit_differing_from_true_tseitin.v 193 79 pdtvissoap1_all_bit_differing_from_cycle_tseitin.v 352 83 pdtvissoap1_all_bit_differing_from_true_tseitin.v 187 78 pdtvissoap2_all_bit_differing_from_cycle_tseitin.v 360 86 pdtvissoap2_all_bit_differing_from_true_tseitin.v 187 79 pdtvisvsa16a00_all_bit_differing_from_cycle_tseitin.v 52 26 pdtvisvsa16a00_all_bit_differing_from_true_tseitin.v 29 32 pdtvisvsa16a01_all_bit_differing_from_cycle_tseitin.v 51 27 pdtvisvsa16a01_all_bit_differing_from_true_tseitin.v 30 16 pdtvisvsa16a02_all_bit_differing_from_cycle_tseitin.v 73 26 pdtvisvsa16a02_all_bit_differing_from_true_tseitin.v 31 16 pdtvisvsa16a03_all_bit_differing_from_cycle_tseitin.v 49 26 pdtvisvsa16a03_all_bit_differing_from_true_tseitin.v 31 17 pdtvisvsa16a04_all_bit_differing_from_cycle_tseitin.v 49 24 pdtvisvsa16a04_all_bit_differing_from_true_tseitin.v 30 16 pdtvisvsa16a05_all_bit_differing_from_cycle_tseitin.v 49 26 pdtvisvsa16a05_all_bit_differing_from_true_tseitin.v 32 16 pdtvisvsa16a06_all_bit_differing_from_cycle_tseitin.v 50 25 pdtvisvsa16a06_all_bit_differing_from_true_tseitin.v 30 16 pdtvisvsa16a07_all_bit_differing_from_cycle_tseitin.v 45 26 pdtvisvsa16a07_all_bit_differing_from_true_tseitin.v 30 15 pdtvisvsa16a08_all_bit_differing_from_cycle_tseitin.v 46 24 pdtvisvsa16a08_all_bit_differing_from_true_tseitin.v 29 15 pdtvisvsa16a09_all_bit_differing_from_cycle_tseitin.v 45 25 pdtvisvsa16a09_all_bit_differing_from_true_tseitin.v 29 16 pdtvisvsa16a10_all_bit_differing_from_cycle_tseitin.v 46 26 pdtvisvsa16a10_all_bit_differing_from_true_tseitin.v 29 16 pdtvisvsa16a11_all_bit_differing_from_cycle_tseitin.v 49 27 pdtvisvsa16a11_all_bit_differing_from_true_tseitin.v 31 16 pdtvisvsa16a12_all_bit_differing_from_cycle_tseitin.v 50 25 pdtvisvsa16a12_all_bit_differing_from_true_tseitin.v 30 16 pdtvisvsa16a13_all_bit_differing_from_cycle_tseitin.v 44 25 pdtvisvsa16a13_all_bit_differing_from_true_tseitin.v 28 16 pdtvisvsa16a14_all_bit_differing_from_cycle_tseitin.v 44 24 pdtvisvsa16a14_all_bit_differing_from_true_tseitin.v 30 16 pdtvisvsa16a15_all_bit_differing_from_cycle_tseitin.v 44 25 pdtvisvsa16a15_all_bit_differing_from_true_tseitin.v 29 17 pdtvisvsa16a16_all_bit_differing_from_cycle_tseitin.v 51 24 pdtvisvsa16a16_all_bit_differing_from_true_tseitin.v 29 15 pdtvisvsa16a17_all_bit_differing_from_cycle_tseitin.v 46 26 pdtvisvsa16a17_all_bit_differing_from_true_tseitin.v 30 16 pdtvisvsa16a18_all_bit_differing_from_cycle_tseitin.v 45 25 pdtvisvsa16a18_all_bit_differing_from_true_tseitin.v 30 16 pdtvisvsa16a19_all_bit_differing_from_cycle_tseitin.v 48 26 pdtvisvsa16a19_all_bit_differing_from_true_tseitin.v 30 17 pdtvisvsa16a20_all_bit_differing_from_cycle_tseitin.v 44 24 pdtvisvsa16a20_all_bit_differing_from_true_tseitin.v 30 17 pdtvisvsa16a21_all_bit_differing_from_cycle_tseitin.v 51 23 pdtvisvsa16a21_all_bit_differing_from_true_tseitin.v 29 16 pdtvisvsa16a22_all_bit_differing_from_cycle_tseitin.v 75 38 pdtvisvsa16a22_all_bit_differing_from_true_tseitin.v 30 16 pdtvisvsa16a23_all_bit_differing_from_cycle_tseitin.v 50 26 pdtvisvsa16a23_all_bit_differing_from_true_tseitin.v 31 16 pdtvisvsa16a24_all_bit_differing_from_cycle_tseitin.v 50 25 pdtvisvsa16a24_all_bit_differing_from_true_tseitin.v 31 15 pdtvisvsa16a25_all_bit_differing_from_cycle_tseitin.v 93 25 pdtvisvsa16a25_all_bit_differing_from_true_tseitin.v 30 16 pdtvisvsa16a26_all_bit_differing_from_cycle_tseitin.v 50 26 pdtvisvsa16a26_all_bit_differing_from_true_tseitin.v 31 16 pdtvisvsa16a27_all_bit_differing_from_cycle_tseitin.v 47 25 pdtvisvsa16a27_all_bit_differing_from_true_tseitin.v 30 17 pdtvisvsa16a29_all_bit_differing_from_cycle_tseitin.v 47 25 pdtvisvsa16a29_all_bit_differing_from_true_tseitin.v 30 40 pdtvisvsa16a31_all_bit_differing_from_cycle_tseitin.v 45 25 pdtvisvsa16a31_all_bit_differing_from_true_tseitin.v 30 16 texasifetch1p1_all_bit_differing_from_cycle_tseitin.v 59 19 texasifetch1p1_all_bit_differing_from_true_tseitin.v 44 20 texasifetch1p2_all_bit_differing_from_cycle_tseitin.v 62 21 texasifetch1p2_all_bit_differing_from_true_tseitin.v 46 18 texasifetch1p3_all_bit_differing_from_cycle_tseitin.v 70 21 texasifetch1p3_all_bit_differing_from_true_tseitin.v 46 18 texasifetch1p4_all_bit_differing_from_cycle_tseitin.v 59 21 texasifetch1p4_all_bit_differing_from_true_tseitin.v 43 19 texasifetch1p5_all_bit_differing_from_cycle_tseitin.v 60 36 texasifetch1p5_all_bit_differing_from_true_tseitin.v 45 18 texasifetch1p8_all_bit_differing_from_cycle_tseitin.v 60 19 texasifetch1p8_all_bit_differing_from_true_tseitin.v 48 17 viselevatorp1_all_bit_differing_from_cycle_tseitin.v 143 500 viselevatorp1_all_bit_differing_from_true_tseitin.v 186 619 viselevatorp2_all_bit_differing_from_cycle_tseitin.v 222 645 viselevatorp2_all_bit_differing_from_true_tseitin.v 189 875 viselevatorp3_all_bit_differing_from_cycle_tseitin.v 199 757 viselevatorp3_all_bit_differing_from_true_tseitin.v 243 992 visprodcellp01_all_bit_differing_from_cycle_tseitin.v 3892716 7200000 visprodcellp03_all_bit_differing_from_cycle_tseitin.v 3712551 7200000 visprodcellp07_all_bit_differing_from_cycle_tseitin.v 3435406 7200000 visprodcellp22_all_bit_differing_from_cycle_tseitin.v 3683532 7200000 bobsynth00_all_bit_differing_from_cycle_tseitin.v 232642 1341312 bobsynth00_all_bit_differing_from_true_tseitin.v 207286 1300947 bobsynth01_all_bit_differing_from_cycle_tseitin.v 191671 1297802 bobsynth01_all_bit_differing_from_true_tseitin.v 211234 1119148 bobsynth02_all_bit_differing_from_cycle_tseitin.v 263187 1130654 bobsynth02_all_bit_differing_from_true_tseitin.v 263997 1067282 bobsynth04_all_bit_differing_from_cycle_tseitin.v 208097 1303438 bobsynth04_all_bit_differing_from_true_tseitin.v 228525 1057402 bobsynth05_all_bit_differing_from_cycle_tseitin.v 244461 1194972 bobsynth05_all_bit_differing_from_true_tseitin.v 275135 1110222 bobsynth06_all_bit_differing_from_cycle_tseitin.v 223616 1230351 bobsynth06_all_bit_differing_from_true_tseitin.v 218527 1273111 bobsynth07_all_bit_differing_from_cycle_tseitin.v 242178 1277416 bobsynth07_all_bit_differing_from_true_tseitin.v 235281 1247664 bobsynth08_all_bit_differing_from_cycle_tseitin.v 209100 1339761 bobsynth08_all_bit_differing_from_true_tseitin.v 230403 1019270 bobsynth09_all_bit_differing_from_cycle_tseitin.v 149008 1290792 bobsynth09_all_bit_differing_from_true_tseitin.v 215583 1214225 bobsynth10_all_bit_differing_from_cycle_tseitin.v 201487 1185024 bobsynth10_all_bit_differing_from_true_tseitin.v 209928 1192649 bobsynth11_all_bit_differing_from_cycle_tseitin.v 323744 1190919 bobsynth11_all_bit_differing_from_true_tseitin.v 237515 1022889 bobsynth12_all_bit_differing_from_cycle_tseitin.v 266732 1321987 bobsynth12_all_bit_differing_from_true_tseitin.v 191265 1022584 bobsynth13_all_bit_differing_from_cycle_tseitin.v 260777 1299184 bobsynth13_all_bit_differing_from_true_tseitin.v 233032 1047218 bobsynthand_all_bit_differing_from_cycle_tseitin.v 289686 1283986 bobsynthand_all_bit_differing_from_true_tseitin.v 153600 1048128 bobsynthetic2_all_bit_differing_from_cycle_tseitin.v 7200000 163668 bobsynthetic2_all_bit_differing_from_true_tseitin.v 7200000 177819 bobsynthor_all_bit_differing_from_cycle_tseitin.v 231641 1194498 bobsynthor_all_bit_differing_from_true_tseitin.v 161855 946969 bobtuint10_all_bit_differing_from_cycle_tseitin.v 206525 1877341 bobtuint11_all_bit_differing_from_cycle_tseitin.v 148000 2195888 bobtuint12_all_bit_differing_from_cycle_tseitin.v 129210 2372753 bobtuint13_all_bit_differing_from_cycle_tseitin.v 139497 2164027 bobtuint14_all_bit_differing_from_cycle_tseitin.v 130454 2047454 bobtuint15_all_bit_differing_from_cycle_tseitin.v 165037 1770800 bobtuint16_all_bit_differing_from_cycle_tseitin.v 135333 1798229 bobtuint17_all_bit_differing_from_cycle_tseitin.v 157803 2077277 bobtuint18_all_bit_differing_from_cycle_tseitin.v 141451 2228841 bobtuint19_all_bit_differing_from_cycle_tseitin.v 149925 2034907 bobtuint20_all_bit_differing_from_cycle_tseitin.v 159776 2058106 bobtuint21_all_bit_differing_from_cycle_tseitin.v 174520 2062361 bobtuint22_all_bit_differing_from_cycle_tseitin.v 151565 1852911 bobtuint23_all_bit_differing_from_cycle_tseitin.v 143573 1882906 bobtuint27_all_bit_differing_from_cycle_tseitin.v 185191 2184008 bobtuint28_all_bit_differing_from_cycle_tseitin.v 213089 2207773 bobtuint29_all_bit_differing_from_cycle_tseitin.v 171004 2260021 bobtuint30_all_bit_differing_from_cycle_tseitin.v 168571 7010423 bobtuint31_all_bit_differing_from_cycle_tseitin.v 187277 4459200 bobtuintand_all_bit_differing_from_cycle_tseitin.v 178642 3590905 bobtuintor_all_bit_differing_from_cycle_tseitin.v 143270 5242831 kenflashp12_all_bit_differing_from_cycle_tseitin.v 235 85 kenflashp12_all_bit_differing_from_true_tseitin.v 256 70 kenoopp1_all_bit_differing_from_cycle_tseitin.v 150 62 kenoopp1_all_bit_differing_from_true_tseitin.v 156 100 kenflashp01_all_bit_differing_from_cycle_tseitin.v 1694761 1115487 kenflashp01_all_bit_differing_from_true_tseitin.v 2657853 1186128 kenflashp04_all_bit_differing_from_cycle_tseitin.v 308459 270530 kenflashp04_all_bit_differing_from_true_tseitin.v 938747 241508 visprodcellp01_all_bit_differing_from_true_tseitin.v 2619057 7200000 visprodcellp03_all_bit_differing_from_true_tseitin.v 2619519 7200000 visprodcellp07_all_bit_differing_from_true_tseitin.v 2637240 7200000 visprodcellp22_all_bit_differing_from_true_tseitin.v 2619044 7200000 bobsm5378d2_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 814145 7200000 bobsm9234_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 12175 7200000 bobsmcodic_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 137716 7200000 bobsmfpu_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 221630 7200000 bobsmhdlc1_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 9339 7200000 bobsmhdlc2_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 9441 7200000 bobsmhdlc3_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 10694 7200000 bobsmhdlc_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 7833 7200000 eijkbs1512_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 12505 7200000 eijkbs4863_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 164962 7200000 neclaftp2001_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 1127674 7200000 neclaftp2002_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 1100238 7200000 neclaftp3001_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 385789 7200000 neclaftp3002_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 445338 7200000 neclaftp4001_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 32249 7200000 neclaftp4002_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 30957 22017 pdtpmsmiim_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 2732 7200000 pdtpmsrotate32_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 10222 7200000 pdtpmsvsa16a_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 6212 3821 pdtvismiim0_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 683 7200000 pdtvismiim1_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 717 7200000 pdtvismiim2_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 682 7200000 pdtvismiim3_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 737 7200000 pdtvismiim4_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 419 7200000 pdtvismiim5_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 717 7200000 pdtvismiim6_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 685 7200000 pdtvissfeistel_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 7200000 7200000 pdtvissoap0_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 15288 7200000 pdtvissoap1_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 15467 7200000 pdtvissoap2_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 12021 7200000 pdtvisvsa16a00_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 2523 1191 pdtvisvsa16a01_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 2513 1195 pdtvisvsa16a02_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 2571 1224 pdtvisvsa16a03_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 2701 1219 pdtvisvsa16a04_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 2430 1226 pdtvisvsa16a05_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 2639 1227 pdtvisvsa16a06_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 2583 1237 pdtvisvsa16a07_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 2734 1272 pdtvisvsa16a08_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 2603 1275 pdtvisvsa16a09_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 2522 1194 pdtvisvsa16a10_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 2553 1328 pdtvisvsa16a11_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 2456 1183 pdtvisvsa16a12_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 2530 1181 pdtvisvsa16a13_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 2843 1261 pdtvisvsa16a14_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 2764 1294 pdtvisvsa16a15_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 2746 1306 pdtvisvsa16a16_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 2509 1194 pdtvisvsa16a17_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 2579 1242 pdtvisvsa16a18_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 2979 1251 pdtvisvsa16a19_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 2701 1314 pdtvisvsa16a20_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 2592 1198 pdtvisvsa16a21_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 2490 1182 pdtvisvsa16a22_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 2502 1209 pdtvisvsa16a23_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 2589 1194 pdtvisvsa16a24_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 2487 1187 pdtvisvsa16a25_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 2486 1200 pdtvisvsa16a26_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 2492 1238 pdtvisvsa16a27_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 2527 1194 pdtvisvsa16a29_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 2611 1233 pdtvisvsa16a31_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 2649 1245 texasifetch1p1_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 116 57 texasifetch1p2_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 93 54 texasifetch1p3_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 102 59 texasifetch1p4_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 129 7200000 texasifetch1p5_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 101 56 texasifetch1p8_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 100 57 viselevatorp1_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 365 7200000 viselevatorp2_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 368 3919238 viselevatorp3_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 360 3373065 visprodcellp01_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 3379003 7200000 visprodcellp03_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 5898186 7200000 visprodcellp07_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 5936700 7200000 visprodcellp22_sat_-1_flattened_extra_bit_differing_from_cycle_tseitin.v 5927429 7200000