g2-ACG-15-10p1.cnf
g2-ACG-20-10p1.cnf
g2-ACG-20-5p1.cnf
g2-ak128astepbg1btisc.cnf
g2-ak128boothbg1btisc.cnf
g2-ak128diagobg1btaig.cnf
g2-ak128modasbg1msisc.cnf
g2-ak128modasbg1sbisc.cnf
g2-ak128modbtbg1asaig.cnf
g2-ak128modbtbg1asisc.cnf
g2-ak128modbtbg1btaig.cnf
g2-ak128paralbg1sbisc.cnf
g2-ak128simpbbg1sbisc.cnf
g2-gss-22-s100.cnf
g2-mizh-md5-47-3.cnf
g2-mizh-md5-47-5.cnf
g2-mizh-md5-48-2.cnf
g2-mizh-md5-48-5.cnf
g2-modgen-n200-m90860q08c40-13698.cnf
g2-modgen-n200-m90860q08c40-16823.cnf
g2-modgen-n200-m90860q08c40-3230.cnf
g2-modgen-n200-m90860q08c40-6967.cnf
g2-mult1.c.50.smt2-cvc4.cnf
g2-newton.8.3.i.smt2-cvc4.cnf
g2-slp-synthesis-aes-top24.cnf
g2-slp-synthesis-aes-top26.cnf
g2-slp-synthesis-aes-top28.cnf
g2-slp-synthesis-aes-top29.cnf
g2-slp-synthesis-aes-top30.cnf
g2-Sz512_15128_1.smt2-cvc4.cnf
g2-T141.1.0.cnf
g2-T169.1.0.cnf
g2-test_v7_r7_vr5_c1_s14675.smt2-cvc4.cnf
g2-UCG-15-10p1.cnf
g2-UCG-20-10p1.cnf
g2-UCG-20-5p1.cnf
g2-UR-20-10p1.cnf
g2-UR-20-5p1.cnf
g2-UTI-20-10p1.cnf
g2-UTI-20-5p1.cnf
mp1-21.0.cnf
mp1-21.1.cnf
mp1-21.2.cnf
mp1-21.3.cnf
mp1-21.4.cnf
mp1-21.5.cnf
mp1-21.6.cnf
mp1-21.7.cnf
mp1-21.8.cnf
mp1-21.9.cnf
mp1-22.0.cnf
mp1-22.4.cnf
mp1-22.6.cnf
mp1-22.7.cnf
mp1-22.9.cnf
mp1-9_1.cnf
mp1-9_11.cnf
mp1-9_12.cnf
mp1-9_14.cnf
mp1-9_19.cnf
mp1-9_24.cnf
mp1-9_27.cnf
mp1-9_29.cnf
mp1-9_3.cnf
mp1-9_31.cnf
mp1-9_34.cnf
mp1-9_38.cnf
mp1-9_44.cnf
mp1-9_49.cnf
mp1-9_50.cnf
mp1-9_9.cnf
mp1-blockpuzzle_7x10_s7_free8.cnf
mp1-blockpuzzle_9x9_s1_free10.cnf
mp1-blockpuzzle_9x9_s1_free7.cnf
mp1-blockpuzzle_9x9_s1_free9.cnf
mp1-blockpuzzle_9x9_s7_free8.cnf
mp1-blockpuzzle_9x9_s7_free9.cnf
mp1-blockpuzzle_9x9_s8_free7.cnf
mp1-klieber2017s-0300-032-t12.cnf
mp1-klieber2017s-0300-034-t12.cnf
mp1-klieber2017s-0300-035-t12.cnf
mp1-klieber2017s-0490-022-t12.cnf
mp1-klieber2017s-0490-023-t12.cnf
mp1-klieber2017s-0490-024-t12.cnf
mp1-klieber2017s-0500-022-t12.cnf
mp1-klieber2017s-0500-023-t12.cnf
mp1-klieber2017s-0500-024-t12.cnf
mp1-Nb5T14.cnf
mp1-Nb5T16.cnf
mp1-Nb6T25.cnf
mp1-Nb6T27.cnf
mp1-Nb6T28.cnf
mp1-Nb6T29.cnf
mp1-Nb6T30.cnf
mp1-qpr-bmp280-driver-14.cnf
mp1-qpr-bmp280-driver-5.cnf
mp1-rubikcube612.cnf
mp1-squ_ali_s10x10_c39_abio_SAT.cnf
mp1-squ_ali_s10x10_c39_abix_SAT.cnf
mp1-squ_ali_s10x10_c39_bail_SAT.cnf
mp1-squ_ali_s10x10_c39_sinx_SAT.cnf
mp1-squ_ali_s10x10_c39_sinz_SAT.cnf
