column1 = benchmark name
column2 = max size of Skolem function in CEGARSKOLEMGEN
column3 = max size of Skolem function in Bloqqer+Qrat-trim

bobsm5378d2_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 55822 66346
bobsm9234_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 2438 3660
bobsmcodic_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 22262 118167
bobsmfpu_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 35243 50000000 
bobsmhdlc1_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 2219 153768 
bobsmhdlc2_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 2890 116196
bobsmhdlc3_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 2731 259039
bobsmhdlc_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 2394 126566 
eijkbs1512_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 7766 52124
eijkbs4863_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 77127 68650
neclaftp2001_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 11051 50000000
neclaftp2002_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 19528 50000000
neclaftp3001_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 20602 50000000
neclaftp3002_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 30685 50000000
neclaftp4001_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 6809 50000000
neclaftp4002_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 4693 50000000 
pdtpmsmiim_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 807 13813
pdtpmsrotate32_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 10794 10667
pdtpmsvsa16a_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 1072 3785
pdtvismiim0_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 648 3749 
pdtvismiim1_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 848 2469
pdtvismiim2_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 648 3749
pdtvismiim3_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 848 2469
pdtvismiim4_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 420 2484
pdtvismiim5_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 848 2469
pdtvismiim6_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 648 3749
pdtvissfeistel_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 50000000 5350864
pdtvissoap0_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 16610 50000000
pdtvissoap1_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 14403 50000000
pdtvissoap2_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 11463 50000000
pdtvisvsa16a00_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 328 3783
pdtvisvsa16a01_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 328 3154
pdtvisvsa16a02_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 328 3783
pdtvisvsa16a03_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 330 5254
pdtvisvsa16a04_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 328 3524
pdtvisvsa16a05_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 328 3502
pdtvisvsa16a06_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 330 3577
pdtvisvsa16a07_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 328 3435
pdtvisvsa16a08_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 329 3574
pdtvisvsa16a09_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 331 3611
pdtvisvsa16a10_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 328 3554
pdtvisvsa16a11_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 328 2995
pdtvisvsa16a12_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 328 3154
pdtvisvsa16a13_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 328 2971
pdtvisvsa16a14_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 328 2888
pdtvisvsa16a15_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 328 2888
pdtvisvsa16a16_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 328 3154
pdtvisvsa16a17_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 329 3050 
pdtvisvsa16a18_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 328 2660
pdtvisvsa16a19_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 328 3652
pdtvisvsa16a20_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 328 4516
pdtvisvsa16a21_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 328 3154
pdtvisvsa16a22_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 328 3783
pdtvisvsa16a23_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 328 3540
pdtvisvsa16a24_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 328 3783
pdtvisvsa16a25_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 328 3503
pdtvisvsa16a26_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 328 3154
pdtvisvsa16a27_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 328 3154
pdtvisvsa16a29_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 330 3073
pdtvisvsa16a31_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 329 2843
texasifetch1p1_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 109 263
texasifetch1p2_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 80 240
texasifetch1p3_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 151 281
texasifetch1p4_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 45 291
texasifetch1p5_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 152 330
texasifetch1p8_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 153 333
viselevatorp1_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 4604 1609
viselevatorp2_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 4747 2212
viselevatorp3_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 4547 1382
visprodcellp01_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 3761448 8767
visprodcellp03_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 5508840 3106
visprodcellp07_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 5508840 1936
visprodcellp22_sat_-1_extra_bit_differing_from_cycle_tseitin_bloqqer.qdimacs 5508840 1936