satcomp17/g2-ACG-15-10p1.cnf.gz
satcomp17/g2-ACG-20-10p1.cnf.gz
satcomp17/g2-ACG-20-5p1.cnf.gz
satcomp17/g2-Sz512_15128_1.smt2-cvc4.cnf.gz
satcomp17/g2-T1.2.1.cnf.gz
satcomp17/g2-T100.2.0.cnf.gz
satcomp17/g2-T101.2.0.cnf.gz
satcomp17/g2-T102.2.1.cnf.gz
satcomp17/g2-T103.2.1.cnf.gz
satcomp17/g2-T104.1.0.cnf.gz
satcomp17/g2-T105.2.1.cnf.gz
satcomp17/g2-T106.2.0.cnf.gz
satcomp17/g2-T108.2.1.cnf.gz
satcomp17/g2-T109.2.0.cnf.gz
satcomp17/g2-T110.2.1.cnf.gz
satcomp17/g2-T112.1.0.cnf.gz
satcomp17/g2-T118.2.1.cnf.gz
satcomp17/g2-T122.1.0.cnf.gz
satcomp17/g2-T124.2.0.cnf.gz
satcomp17/g2-T124.2.1.cnf.gz
satcomp17/g2-T133.2.1.cnf.gz
satcomp17/g2-T135.1.1.cnf.gz
satcomp17/g2-T141.1.0.cnf.gz
satcomp17/g2-T154.1.0.cnf.gz
satcomp17/g2-T155.1.0.cnf.gz
satcomp17/g2-T169.1.0.cnf.gz
satcomp17/g2-T169.2.0.cnf.gz
satcomp17/g2-T49.2.0.cnf.gz
satcomp17/g2-T50.2.0.cnf.gz
satcomp17/g2-T55.2.0.cnf.gz
satcomp17/g2-T58.2.0.cnf.gz
satcomp17/g2-T65.2.0.cnf.gz
satcomp17/g2-T65.2.1.cnf.gz
satcomp17/g2-T75.2.0.cnf.gz
satcomp17/g2-T81.2.1.cnf.gz
satcomp17/g2-T83.2.1.cnf.gz
satcomp17/g2-T85.2.1.cnf.gz
satcomp17/g2-T88.2.1.cnf.gz
satcomp17/g2-T89.2.1.cnf.gz
satcomp17/g2-T93.2.1.cnf.gz
satcomp17/g2-T96.1.1.cnf.gz
satcomp17/g2-T97.2.1.cnf.gz
satcomp17/g2-T99.2.0.cnf.gz
satcomp17/g2-T99.2.1.cnf.gz
satcomp17/g2-UCG-15-10p1.cnf.gz
satcomp17/g2-UCG-20-10p1.cnf.gz
satcomp17/g2-UCG-20-5p1.cnf.gz
satcomp17/g2-UR-20-10p1.cnf.gz
satcomp17/g2-UR-20-5p1.cnf.gz
satcomp17/g2-UTI-20-10p1.cnf.gz
satcomp17/g2-UTI-20-5p1.cnf.gz
satcomp17/g2-ak128astepbg1btisc.cnf.gz
satcomp17/g2-ak128astepbg2asisc.cnf.gz
satcomp17/g2-ak128astepbg2msaig.cnf.gz
satcomp17/g2-ak128astepbg2msisc.cnf.gz
satcomp17/g2-ak128astepmodasaig.cnf.gz
satcomp17/g2-ak128astepmodbtisc.cnf.gz
satcomp17/g2-ak128boothbg1btisc.cnf.gz
satcomp17/g2-ak128boothbg2asisc.cnf.gz
satcomp17/g2-ak128boothbg2msaig.cnf.gz
satcomp17/g2-ak128boothbg2msisc.cnf.gz
satcomp17/g2-ak128boothboothisc.cnf.gz
satcomp17/g2-ak128boothdiagoaig.cnf.gz
satcomp17/g2-ak128boothmodasaig.cnf.gz
satcomp17/g2-ak128diagobg1btaig.cnf.gz
satcomp17/g2-ak128diagobg2asaig.cnf.gz
satcomp17/g2-ak128diagodiagoisc.cnf.gz
satcomp17/g2-ak128modasbg1msisc.cnf.gz
satcomp17/g2-ak128modasbg1sbisc.cnf.gz
satcomp17/g2-ak128modasmodasisc.cnf.gz
satcomp17/g2-ak128modbtbg1asaig.cnf.gz
satcomp17/g2-ak128modbtbg1asisc.cnf.gz
satcomp17/g2-ak128modbtbg1btaig.cnf.gz
satcomp17/g2-ak128modbtbg2msisc.cnf.gz
satcomp17/g2-ak128modbtsimpbaig.cnf.gz
satcomp17/g2-ak128paralbg1sbisc.cnf.gz
satcomp17/g2-ak128paralbg2asaig.cnf.gz
satcomp17/g2-ak128paralparalisc.cnf.gz
satcomp17/g2-ak128paralsimpbaig.cnf.gz
satcomp17/g2-ak128simpbbg1sbisc.cnf.gz
satcomp17/g2-ak128simpbbg2asaig.cnf.gz
satcomp17/g2-gss-22-s100.cnf.gz
satcomp17/g2-gss-24-s100.cnf.gz
satcomp17/g2-gss-26-s100.cnf.gz
satcomp17/g2-gss-28-s100.cnf.gz
satcomp17/g2-gss-30-s100.cnf.gz
satcomp17/g2-gss-32-s100.cnf.gz
satcomp17/g2-gss-34-s100.cnf.gz
satcomp17/g2-gss-36-s100.cnf.gz
satcomp17/g2-gss-38-s100.cnf.gz
satcomp17/g2-gss-40-s100.cnf.gz
satcomp17/g2-hwmcc15deep-6s105-k35.cnf.gz
satcomp17/g2-hwmcc15deep-6s161-k17.cnf.gz
satcomp17/g2-hwmcc15deep-6s161-k18.cnf.gz
satcomp17/g2-hwmcc15deep-6s179-k17.cnf.gz
satcomp17/g2-hwmcc15deep-6s188-k44.cnf.gz
satcomp17/g2-hwmcc15deep-6s188-k46.cnf.gz
satcomp17/g2-hwmcc15deep-6s33-k33.cnf.gz
satcomp17/g2-hwmcc15deep-6s33-k34.cnf.gz
satcomp17/g2-hwmcc15deep-6s340rb63-k16.cnf.gz
satcomp17/g2-hwmcc15deep-6s340rb63-k22.cnf.gz
satcomp17/g2-hwmcc15deep-6s341r-k16.cnf.gz
satcomp17/g2-hwmcc15deep-6s341r-k19.cnf.gz
satcomp17/g2-hwmcc15deep-6s366r-k72.cnf.gz
satcomp17/g2-hwmcc15deep-6s399b02-k02.cnf.gz
satcomp17/g2-hwmcc15deep-6s399b03-k02.cnf.gz
satcomp17/g2-hwmcc15deep-6s44-k38.cnf.gz
satcomp17/g2-hwmcc15deep-6s44-k40.cnf.gz
satcomp17/g2-hwmcc15deep-6s516r-k17.cnf.gz
satcomp17/g2-hwmcc15deep-6s516r-k18.cnf.gz
satcomp17/g2-hwmcc15deep-beembkry8b1-k45.cnf.gz
satcomp17/g2-hwmcc15deep-beemcmbrdg7f2-k32.cnf.gz
satcomp17/g2-hwmcc15deep-beemfwt4b1-k48.cnf.gz
satcomp17/g2-hwmcc15deep-beemhanoi4b1-k32.cnf.gz
satcomp17/g2-hwmcc15deep-beemhanoi4b1-k37.cnf.gz
satcomp17/g2-hwmcc15deep-beemlifts3b1-k29.cnf.gz
satcomp17/g2-hwmcc15deep-beemloyd3b1-k31.cnf.gz
satcomp17/g2-hwmcc15deep-bob12s02-k16.cnf.gz
satcomp17/g2-hwmcc15deep-bob12s02-k17.cnf.gz
satcomp17/g2-hwmcc15deep-bobpcihm-k30.cnf.gz
satcomp17/g2-hwmcc15deep-bobpcihm-k31.cnf.gz
satcomp17/g2-hwmcc15deep-bobpcihm-k32.cnf.gz
satcomp17/g2-hwmcc15deep-bobpcihm-k33.cnf.gz
satcomp17/g2-hwmcc15deep-intel032-k84.cnf.gz
satcomp17/g2-hwmcc15deep-intel065-k11.cnf.gz
satcomp17/g2-hwmcc15deep-intel066-k10.cnf.gz
satcomp17/g2-hwmcc15deep-oski15a10b06s-k24.cnf.gz
satcomp17/g2-hwmcc15deep-oski15a10b08s-k23.cnf.gz
satcomp17/g2-hwmcc15deep-oski15a10b10s-k20.cnf.gz
satcomp17/g2-hwmcc15deep-oski15a10b10s-k22.cnf.gz
satcomp17/g2-hwmcc15deep-oski15a14b04s-k16.cnf.gz
satcomp17/g2-hwmcc15deep-oski15a14b30s-k24.cnf.gz
satcomp17/g2-mizh-md5-47-3.cnf.gz
satcomp17/g2-mizh-md5-47-5.cnf.gz
satcomp17/g2-mizh-md5-48-2.cnf.gz
satcomp17/g2-mizh-md5-48-5.cnf.gz
satcomp17/g2-modgen-n200-m90860q08c40-13698.cnf.gz
satcomp17/g2-modgen-n200-m90860q08c40-16823.cnf.gz
satcomp17/g2-modgen-n200-m90860q08c40-29667.cnf.gz
satcomp17/g2-modgen-n200-m90860q08c40-3230.cnf.gz
satcomp17/g2-modgen-n200-m90860q08c40-6967.cnf.gz
satcomp17/g2-mult1.c.50.smt2-cvc4.cnf.gz
satcomp17/g2-newton.8.3.i.smt2-cvc4.cnf.gz
satcomp17/g2-slp-synthesis-aes-top24.cnf.gz
satcomp17/g2-slp-synthesis-aes-top25.cnf.gz
satcomp17/g2-slp-synthesis-aes-top26.cnf.gz
satcomp17/g2-slp-synthesis-aes-top28.cnf.gz
satcomp17/g2-slp-synthesis-aes-top29.cnf.gz
satcomp17/g2-slp-synthesis-aes-top30.cnf.gz
satcomp17/g2-test_v5_r10_vr10_c1_s21502.smt2-cvc4.cnf.gz
satcomp17/g2-test_v7_r7_vr5_c1_s14675.smt2-cvc4.cnf.gz
satcomp17/mp1-21.0.cnf.gz
satcomp17/mp1-21.1.cnf.gz
satcomp17/mp1-21.2.cnf.gz
satcomp17/mp1-21.3.cnf.gz
satcomp17/mp1-21.4.cnf.gz
satcomp17/mp1-21.5.cnf.gz
satcomp17/mp1-21.6.cnf.gz
satcomp17/mp1-21.7.cnf.gz
satcomp17/mp1-21.8.cnf.gz
satcomp17/mp1-21.9.cnf.gz
satcomp17/mp1-22.0.cnf.gz
satcomp17/mp1-22.1.cnf.gz
satcomp17/mp1-22.2.cnf.gz
satcomp17/mp1-22.3.cnf.gz
satcomp17/mp1-22.4.cnf.gz
satcomp17/mp1-22.5.cnf.gz
satcomp17/mp1-22.6.cnf.gz
satcomp17/mp1-22.7.cnf.gz
satcomp17/mp1-22.8.cnf.gz
satcomp17/mp1-22.9.cnf.gz
satcomp17/mp1-23.0.cnf.gz
satcomp17/mp1-23.1.cnf.gz
satcomp17/mp1-23.2.cnf.gz
satcomp17/mp1-23.3.cnf.gz
satcomp17/mp1-23.4.cnf.gz
satcomp17/mp1-23.5.cnf.gz
satcomp17/mp1-23.6.cnf.gz
satcomp17/mp1-23.7.cnf.gz
satcomp17/mp1-23.8.cnf.gz
satcomp17/mp1-24.0.cnf.gz
satcomp17/mp1-24.1.cnf.gz
satcomp17/mp1-24.2.cnf.gz
satcomp17/mp1-24.3.cnf.gz
satcomp17/mp1-24.4.cnf.gz
satcomp17/mp1-24.5.cnf.gz
satcomp17/mp1-24.6.cnf.gz
satcomp17/mp1-24.7.cnf.gz
satcomp17/mp1-24.8.cnf.gz
satcomp17/mp1-24.9.cnf.gz
satcomp17/mp1-9_1.cnf.gz
satcomp17/mp1-9_11.cnf.gz
satcomp17/mp1-9_12.cnf.gz
satcomp17/mp1-9_14.cnf.gz
satcomp17/mp1-9_19.cnf.gz
satcomp17/mp1-9_21.cnf.gz
satcomp17/mp1-9_22.cnf.gz
satcomp17/mp1-9_24.cnf.gz
satcomp17/mp1-9_25.cnf.gz
satcomp17/mp1-9_27.cnf.gz
satcomp17/mp1-9_29.cnf.gz
satcomp17/mp1-9_3.cnf.gz
satcomp17/mp1-9_31.cnf.gz
satcomp17/mp1-9_34.cnf.gz
satcomp17/mp1-9_38.cnf.gz
satcomp17/mp1-9_4.cnf.gz
satcomp17/mp1-9_44.cnf.gz
satcomp17/mp1-9_49.cnf.gz
satcomp17/mp1-9_50.cnf.gz
satcomp17/mp1-9_9.cnf.gz
satcomp17/mp1-Nb5T06.cnf.gz
satcomp17/mp1-Nb5T07.cnf.gz
satcomp17/mp1-Nb5T14.cnf.gz
satcomp17/mp1-Nb5T15.cnf.gz
satcomp17/mp1-Nb5T16.cnf.gz
satcomp17/mp1-Nb6T06.cnf.gz
satcomp17/mp1-Nb6T07.cnf.gz
satcomp17/mp1-Nb6T25.cnf.gz
satcomp17/mp1-Nb6T27.cnf.gz
satcomp17/mp1-Nb6T28.cnf.gz
satcomp17/mp1-Nb6T29.cnf.gz
satcomp17/mp1-Nb6T30.cnf.gz
satcomp17/mp1-Nb7T07.cnf.gz
satcomp17/mp1-Nb7T08.cnf.gz
satcomp17/mp1-Nb7T42.cnf.gz
satcomp17/mp1-Nb7T43.cnf.gz
satcomp17/mp1-Nb7T44.cnf.gz
satcomp17/mp1-Nb7T45.cnf.gz
satcomp17/mp1-Nb7T46.cnf.gz
satcomp17/mp1-blockpuzzle_5x10_s2_free5.cnf.gz
satcomp17/mp1-blockpuzzle_5x10_s3_free4.cnf.gz
satcomp17/mp1-blockpuzzle_5x10_s5_free3.cnf.gz
satcomp17/mp1-blockpuzzle_5x10_s7_free4.cnf.gz
satcomp17/mp1-blockpuzzle_5x10_s8_free3.cnf.gz
satcomp17/mp1-blockpuzzle_5x12_s6_free3.cnf.gz
satcomp17/mp1-blockpuzzle_7x10_s10_free4.cnf.gz
satcomp17/mp1-blockpuzzle_7x10_s7_free8.cnf.gz
satcomp17/mp1-blockpuzzle_7x10_s9_free6.cnf.gz
satcomp17/mp1-blockpuzzle_8x8_s1_free4.cnf.gz
satcomp17/mp1-blockpuzzle_9x9_s1_free10.cnf.gz
satcomp17/mp1-blockpuzzle_9x9_s1_free7.cnf.gz
satcomp17/mp1-blockpuzzle_9x9_s1_free8.cnf.gz
satcomp17/mp1-blockpuzzle_9x9_s1_free9.cnf.gz
satcomp17/mp1-blockpuzzle_9x9_s4_free3.cnf.gz
satcomp17/mp1-blockpuzzle_9x9_s5_free3.cnf.gz
satcomp17/mp1-blockpuzzle_9x9_s7_free8.cnf.gz
satcomp17/mp1-blockpuzzle_9x9_s7_free9.cnf.gz
satcomp17/mp1-blockpuzzle_9x9_s8_free3.cnf.gz
satcomp17/mp1-blockpuzzle_9x9_s8_free7.cnf.gz
satcomp17/mp1-bsat180-648.cnf.gz
satcomp17/mp1-bsat192-689.cnf.gz
satcomp17/mp1-bsat201-707.cnf.gz
satcomp17/mp1-bsat210-739.cnf.gz
satcomp17/mp1-klieber2017s-0300-032-t12.cnf.gz
satcomp17/mp1-klieber2017s-0300-033-t12.cnf.gz
satcomp17/mp1-klieber2017s-0300-034-t12.cnf.gz
satcomp17/mp1-klieber2017s-0300-035-t12.cnf.gz
satcomp17/mp1-klieber2017s-0490-022-t12.cnf.gz
satcomp17/mp1-klieber2017s-0490-023-t12.cnf.gz
satcomp17/mp1-klieber2017s-0490-024-t12.cnf.gz
satcomp17/mp1-klieber2017s-0500-022-t12.cnf.gz
satcomp17/mp1-klieber2017s-0500-023-t12.cnf.gz
satcomp17/mp1-klieber2017s-0500-024-t12.cnf.gz
satcomp17/mp1-klieber2017s-1000-023-eq.cnf.gz
satcomp17/mp1-klieber2017s-1000-024-eq.cnf.gz
satcomp17/mp1-klieber2017s-1200-022-eq.cnf.gz
satcomp17/mp1-klieber2017s-1200-023-eq.cnf.gz
satcomp17/mp1-klieber2017s-1200-024-eq.cnf.gz
satcomp17/mp1-klieber2017s-1600-022-eq.cnf.gz
satcomp17/mp1-klieber2017s-1600-023-eq.cnf.gz
satcomp17/mp1-klieber2017s-1600-024-eq.cnf.gz
satcomp17/mp1-klieber2017s-2000-022-eq.cnf.gz
satcomp17/mp1-klieber2017s-2000-023-eq.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.6_0_1.45_0.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.6_0_1.45_2.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.6_0_1.45_4.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.6_0_1.45_6.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.6_0_1.45_8.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.6_0_1.50_0.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.6_0_1.50_2.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.6_0_1.50_4.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.6_0_1.50_6.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.6_0_1.50_8.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.7_0_1.45_0.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.7_0_1.45_2.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.7_0_1.45_4.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.7_0_1.45_6.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.7_0_1.45_8.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.7_0_1.50_0.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.7_0_1.50_2.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.7_0_1.50_4.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.7_0_1.50_6.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.7_0_1.50_8.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.8_0_1.50_0.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.8_0_1.50_2.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.8_0_1.50_4.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.8_0_1.50_6.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.8_0_1.50_8.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.8_0_1.55_0.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.8_0_1.55_2.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.8_0_1.55_4.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.8_0_1.55_6.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.8_0_1.55_8.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.8_0_1.60_0.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.8_0_1.60_2.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.8_0_1.60_4.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.8_0_1.60_6.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.8_0_1.60_8.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.8_0_1.70_0.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.8_0_1.70_2.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.8_0_1.70_4.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.8_0_1.70_6.cnf.gz
satcomp17/mp1-ps_5000_21250_3_0_0.8_0_1.70_8.cnf.gz
satcomp17/mp1-qpr-bmp280-driver-14.cnf.gz
satcomp17/mp1-qpr-bmp280-driver-5.cnf.gz
satcomp17/mp1-rubikcube012.cnf.gz
satcomp17/mp1-rubikcube031.cnf.gz
satcomp17/mp1-rubikcube101.cnf.gz
satcomp17/mp1-rubikcube120.cnf.gz
satcomp17/mp1-rubikcube212.cnf.gz
satcomp17/mp1-rubikcube220.cnf.gz
satcomp17/mp1-rubikcube301.cnf.gz
satcomp17/mp1-rubikcube312.cnf.gz
satcomp17/mp1-rubikcube401.cnf.gz
satcomp17/mp1-rubikcube420.cnf.gz
satcomp17/mp1-rubikcube512.cnf.gz
satcomp17/mp1-rubikcube520.cnf.gz
satcomp17/mp1-rubikcube601.cnf.gz
satcomp17/mp1-rubikcube612.cnf.gz
satcomp17/mp1-rubikcube701.cnf.gz
satcomp17/mp1-rubikcube720.cnf.gz
satcomp17/mp1-rubikcube812.cnf.gz
satcomp17/mp1-rubikcube820.cnf.gz
satcomp17/mp1-rubikcube901.cnf.gz
satcomp17/mp1-rubikcube912.cnf.gz
satcomp17/mp1-squ_ali_s10x10_c39_abio_SAT.cnf.gz
satcomp17/mp1-squ_ali_s10x10_c39_abix_SAT.cnf.gz
satcomp17/mp1-squ_ali_s10x10_c39_bail_SAT.cnf.gz
satcomp17/mp1-squ_ali_s10x10_c39_sinx_SAT.cnf.gz
satcomp17/mp1-squ_ali_s10x10_c39_sinz_SAT.cnf.gz
satcomp17/mp1-squ_any_s09x07_c27_abio_UNS.cnf.gz
satcomp17/mp1-squ_any_s09x07_c27_abix_UNS.cnf.gz
satcomp17/mp1-squ_any_s09x07_c27_bail_UNS.cnf.gz
satcomp17/mp1-squ_any_s09x07_c27_sinx_UNS.cnf.gz
satcomp17/mp1-squ_any_s09x07_c27_sinz_UNS.cnf.gz
satcomp17/mp1-tri_ali_s11_c35_abio_UNS.cnf.gz
satcomp17/mp1-tri_ali_s11_c35_abix_UNS.cnf.gz
satcomp17/mp1-tri_ali_s11_c35_bail_UNS.cnf.gz
satcomp17/mp1-tri_ali_s11_c35_sinx_UNS.cnf.gz
satcomp17/mp1-tri_ali_s11_c35_sinz_UNS.cnf.gz
