g2-hwmcc15deep-6s105-k35.cnf
g2-hwmcc15deep-6s179-k17.cnf
g2-hwmcc15deep-6s188-k44.cnf
g2-hwmcc15deep-6s188-k46.cnf
g2-hwmcc15deep-6s33-k33.cnf
g2-hwmcc15deep-6s33-k34.cnf
g2-hwmcc15deep-6s340rb63-k16.cnf
g2-hwmcc15deep-6s340rb63-k22.cnf
g2-hwmcc15deep-6s341r-k16.cnf
g2-hwmcc15deep-6s341r-k19.cnf
g2-hwmcc15deep-6s366r-k72.cnf
g2-hwmcc15deep-6s44-k38.cnf
g2-hwmcc15deep-6s44-k40.cnf
g2-hwmcc15deep-6s516r-k17.cnf
g2-hwmcc15deep-beembkry8b1-k45.cnf
g2-hwmcc15deep-beemcmbrdg7f2-k32.cnf
g2-hwmcc15deep-beemhanoi4b1-k32.cnf
g2-hwmcc15deep-beemlifts3b1-k29.cnf
g2-hwmcc15deep-beemloyd3b1-k31.cnf
g2-hwmcc15deep-intel032-k84.cnf
g2-hwmcc15deep-oski15a10b10s-k20.cnf
g2-hwmcc15deep-oski15a14b04s-k16.cnf
g2-hwmcc15deep-oski15a14b30s-k24.cnf
g2-T102.2.1.cnf
g2-T103.2.1.cnf
g2-T104.1.0.cnf
g2-T105.2.1.cnf
g2-T109.2.0.cnf
g2-T110.2.1.cnf
g2-T112.1.0.cnf
g2-T118.2.1.cnf
g2-T122.1.0.cnf
g2-T124.2.0.cnf
g2-T124.2.1.cnf
g2-T135.1.1.cnf
g2-T154.1.0.cnf
g2-T155.1.0.cnf
g2-T169.2.0.cnf
g2-T55.2.0.cnf
g2-T58.2.0.cnf
g2-T65.2.0.cnf
g2-T65.2.1.cnf
g2-T75.2.0.cnf
g2-T81.2.1.cnf
g2-T83.2.1.cnf
g2-T85.2.1.cnf
g2-T88.2.1.cnf
g2-T89.2.1.cnf
g2-T93.2.1.cnf
g2-T97.2.1.cnf
g2-T99.2.0.cnf
g2-test_v5_r10_vr10_c1_s21502.smt2-cvc4.cnf
mp1-blockpuzzle_5x10_s2_free5.cnf
mp1-blockpuzzle_5x10_s3_free4.cnf
mp1-blockpuzzle_5x10_s5_free3.cnf
mp1-blockpuzzle_5x10_s7_free4.cnf
mp1-blockpuzzle_5x10_s8_free3.cnf
mp1-blockpuzzle_5x12_s6_free3.cnf
mp1-blockpuzzle_7x10_s10_free4.cnf
mp1-blockpuzzle_7x10_s9_free6.cnf
mp1-blockpuzzle_8x8_s1_free4.cnf
mp1-blockpuzzle_9x9_s4_free3.cnf
mp1-blockpuzzle_9x9_s5_free3.cnf
mp1-blockpuzzle_9x9_s8_free3.cnf
mp1-bsat180-648.cnf
mp1-bsat192-689.cnf
mp1-bsat201-707.cnf
mp1-bsat210-739.cnf
mp1-klieber2017s-1000-023-eq.cnf
mp1-klieber2017s-1000-024-eq.cnf
mp1-klieber2017s-1200-022-eq.cnf
mp1-klieber2017s-1200-023-eq.cnf
mp1-klieber2017s-1200-024-eq.cnf
mp1-klieber2017s-1600-022-eq.cnf
mp1-klieber2017s-1600-023-eq.cnf
mp1-klieber2017s-1600-024-eq.cnf
mp1-klieber2017s-2000-022-eq.cnf
mp1-klieber2017s-2000-023-eq.cnf
mp1-Nb5T06.cnf
mp1-Nb6T06.cnf
mp1-Nb6T07.cnf
mp1-ps_5000_21250_3_0_0.8_0_1.50_0.cnf
mp1-ps_5000_21250_3_0_0.8_0_1.50_2.cnf
mp1-ps_5000_21250_3_0_0.8_0_1.50_4.cnf
mp1-ps_5000_21250_3_0_0.8_0_1.50_6.cnf
mp1-ps_5000_21250_3_0_0.8_0_1.50_8.cnf
mp1-ps_5000_21250_3_0_0.8_0_1.55_2.cnf
mp1-rubikcube012.cnf
mp1-rubikcube101.cnf
mp1-rubikcube212.cnf
mp1-rubikcube301.cnf
mp1-rubikcube312.cnf
mp1-rubikcube401.cnf
mp1-rubikcube512.cnf
mp1-rubikcube601.cnf
mp1-rubikcube701.cnf
mp1-rubikcube812.cnf
mp1-rubikcube901.cnf
mp1-rubikcube912.cnf
mp1-squ_any_s09x07_c27_abio_UNS.cnf
mp1-squ_any_s09x07_c27_abix_UNS.cnf
mp1-squ_any_s09x07_c27_bail_UNS.cnf
mp1-squ_any_s09x07_c27_sinx_UNS.cnf
mp1-squ_any_s09x07_c27_sinz_UNS.cnf
mp1-tri_ali_s11_c35_abio_UNS.cnf
mp1-tri_ali_s11_c35_abix_UNS.cnf
mp1-tri_ali_s11_c35_bail_UNS.cnf
mp1-tri_ali_s11_c35_sinx_UNS.cnf
mp1-tri_ali_s11_c35_sinz_UNS.cnf
