column1 = benchmark name column2 = time in CEGARSKOLEMGEN in milliseconds column3 = time in Bloqqer+Qrat-trim in milliseconds bobsm5378d2_sat_-1_extra_bit_differing_from_cycle_tseitin.v 814145 9191 bobsm9234_sat_-1_extra_bit_differing_from_cycle_tseitin.v 12175 5346 bobsmcodic_sat_-1_extra_bit_differing_from_cycle_tseitin.v 137716 4175985 bobsmfpu_sat_-1_extra_bit_differing_from_cycle_tseitin.v 221630 7200000 bobsmhdlc1_sat_-1_extra_bit_differing_from_cycle_tseitin.v 9339 29838 bobsmhdlc2_sat_-1_extra_bit_differing_from_cycle_tseitin.v 9441 20185 bobsmhdlc3_sat_-1_extra_bit_differing_from_cycle_tseitin.v 10694 19872 bobsmhdlc_sat_-1_extra_bit_differing_from_cycle_tseitin.v 7833 19015 eijkbs1512_sat_-1_extra_bit_differing_from_cycle_tseitin.v 12505 7255 eijkbs4863_sat_-1_extra_bit_differing_from_cycle_tseitin.v 164962 43811 neclaftp2001_sat_-1_extra_bit_differing_from_cycle_tseitin.v 1127674 7200000 neclaftp2002_sat_-1_extra_bit_differing_from_cycle_tseitin.v 1100238 7200000 neclaftp3001_sat_-1_extra_bit_differing_from_cycle_tseitin.v 385789 7200000 neclaftp3002_sat_-1_extra_bit_differing_from_cycle_tseitin.v 445338 7200000 neclaftp4001_sat_-1_extra_bit_differing_from_cycle_tseitin.v 32249 7200000 neclaftp4002_sat_-1_extra_bit_differing_from_cycle_tseitin.v 30957 7200000 pdtpmsmiim_sat_-1_extra_bit_differing_from_cycle_tseitin.v 2732 7131 pdtpmsrotate32_sat_-1_extra_bit_differing_from_cycle_tseitin.v 10222 4872 pdtpmsvsa16a_sat_-1_extra_bit_differing_from_cycle_tseitin.v 6212 4363 pdtvismiim0_sat_-1_extra_bit_differing_from_cycle_tseitin.v 683 3273 pdtvismiim1_sat_-1_extra_bit_differing_from_cycle_tseitin.v 717 3631 pdtvismiim2_sat_-1_extra_bit_differing_from_cycle_tseitin.v 682 3260 pdtvismiim3_sat_-1_extra_bit_differing_from_cycle_tseitin.v 737 3612 pdtvismiim4_sat_-1_extra_bit_differing_from_cycle_tseitin.v 419 3243 pdtvismiim5_sat_-1_extra_bit_differing_from_cycle_tseitin.v 717 3589 pdtvismiim6_sat_-1_extra_bit_differing_from_cycle_tseitin.v 685 3258 pdtvissfeistel_sat_-1_extra_bit_differing_from_cycle_tseitin.v 7200000 192199 pdtvissoap0_sat_-1_extra_bit_differing_from_cycle_tseitin.v 15288 7200000 pdtvissoap1_sat_-1_extra_bit_differing_from_cycle_tseitin.v 15467 7200000 pdtvissoap2_sat_-1_extra_bit_differing_from_cycle_tseitin.v 12021 7200000 pdtvisvsa16a00_sat_-1_extra_bit_differing_from_cycle_tseitin.v 2523 1905 pdtvisvsa16a01_sat_-1_extra_bit_differing_from_cycle_tseitin.v 2513 1866 pdtvisvsa16a02_sat_-1_extra_bit_differing_from_cycle_tseitin.v 2571 1906 pdtvisvsa16a03_sat_-1_extra_bit_differing_from_cycle_tseitin.v 2701 2075 pdtvisvsa16a04_sat_-1_extra_bit_differing_from_cycle_tseitin.v 2430 1911 pdtvisvsa16a05_sat_-1_extra_bit_differing_from_cycle_tseitin.v 2639 1968 pdtvisvsa16a06_sat_-1_extra_bit_differing_from_cycle_tseitin.v 2583 1855 pdtvisvsa16a07_sat_-1_extra_bit_differing_from_cycle_tseitin.v 2734 1855 pdtvisvsa16a08_sat_-1_extra_bit_differing_from_cycle_tseitin.v 2603 1953 pdtvisvsa16a09_sat_-1_extra_bit_differing_from_cycle_tseitin.v 2522 1912 pdtvisvsa16a10_sat_-1_extra_bit_differing_from_cycle_tseitin.v 2553 1922 pdtvisvsa16a11_sat_-1_extra_bit_differing_from_cycle_tseitin.v 2456 1854 pdtvisvsa16a12_sat_-1_extra_bit_differing_from_cycle_tseitin.v 2530 1879 pdtvisvsa16a13_sat_-1_extra_bit_differing_from_cycle_tseitin.v 2843 1927 pdtvisvsa16a14_sat_-1_extra_bit_differing_from_cycle_tseitin.v 2764 1934 pdtvisvsa16a15_sat_-1_extra_bit_differing_from_cycle_tseitin.v 2746 1914 pdtvisvsa16a16_sat_-1_extra_bit_differing_from_cycle_tseitin.v 2509 1880 pdtvisvsa16a17_sat_-1_extra_bit_differing_from_cycle_tseitin.v 2579 1962 pdtvisvsa16a18_sat_-1_extra_bit_differing_from_cycle_tseitin.v 2979 1875 pdtvisvsa16a19_sat_-1_extra_bit_differing_from_cycle_tseitin.v 2701 1959 pdtvisvsa16a20_sat_-1_extra_bit_differing_from_cycle_tseitin.v 2592 1990 pdtvisvsa16a21_sat_-1_extra_bit_differing_from_cycle_tseitin.v 2490 1850 pdtvisvsa16a22_sat_-1_extra_bit_differing_from_cycle_tseitin.v 2502 1929 pdtvisvsa16a23_sat_-1_extra_bit_differing_from_cycle_tseitin.v 2589 1904 pdtvisvsa16a24_sat_-1_extra_bit_differing_from_cycle_tseitin.v 2487 1904 pdtvisvsa16a25_sat_-1_extra_bit_differing_from_cycle_tseitin.v 2486 1977 pdtvisvsa16a26_sat_-1_extra_bit_differing_from_cycle_tseitin.v 2492 1881 pdtvisvsa16a27_sat_-1_extra_bit_differing_from_cycle_tseitin.v 2527 1847 pdtvisvsa16a29_sat_-1_extra_bit_differing_from_cycle_tseitin.v 2611 1868 pdtvisvsa16a31_sat_-1_extra_bit_differing_from_cycle_tseitin.v 2649 1876 texasifetch1p1_sat_-1_extra_bit_differing_from_cycle_tseitin.v 116 249 texasifetch1p2_sat_-1_extra_bit_differing_from_cycle_tseitin.v 93 265 texasifetch1p3_sat_-1_extra_bit_differing_from_cycle_tseitin.v 102 266 texasifetch1p4_sat_-1_extra_bit_differing_from_cycle_tseitin.v 129 258 texasifetch1p5_sat_-1_extra_bit_differing_from_cycle_tseitin.v 101 268 texasifetch1p8_sat_-1_extra_bit_differing_from_cycle_tseitin.v 100 260 viselevatorp1_sat_-1_extra_bit_differing_from_cycle_tseitin.v 365 792 viselevatorp2_sat_-1_extra_bit_differing_from_cycle_tseitin.v 368 969 viselevatorp3_sat_-1_extra_bit_differing_from_cycle_tseitin.v 360 602 visprodcellp01_sat_-1_extra_bit_differing_from_cycle_tseitin.v 3379003 2350 visprodcellp03_sat_-1_extra_bit_differing_from_cycle_tseitin.v 5898186 1235 visprodcellp07_sat_-1_extra_bit_differing_from_cycle_tseitin.v 5936700 779 visprodcellp22_sat_-1_extra_bit_differing_from_cycle_tseitin.v 5927429 787