• agile/CHBR_glucose_agile.zip
• agile/CHBR_glucose_tuned_agile.zip
• agile/COMiniSatPSChandrasekharnoDRUP.zip
• agile/GHackCOMSPS_no_DRUP.zip
• agile/Lingeling.zip
• agile/Lingelingbbcnotrace.zip
• agile/MapleCMS.zip
• agile/MapleCOMSPS_CHB_no_DRUP.zip
• agile/MapleCOMSPS_LRB_no_DRUP.zip
• agile/MapleCOMSPS_no_DRUP.zip
• agile/MapleGlucose.zip
• agile/Riss6.zip
• agile/Splatz06vnotrace.zip
• agile/YalSAT03r.zip
• agile/abcdSAT_drup.zip
• agile/cmsat5_agile2.zip
• agile/glucosePLE.zip
• agile/glucose_hack_kiel_newScript.zip
• agile/glue_alt.zip
• agile/glueminisat-2.2.10-81-agile.zip
• agile/gulch-agile.zip
• agile/gulch-once.zip
• agile/tb_glucose_agile.zip
• agile/tc_glucose_agile.zip
• main/BeansAndEggs.zip
• main/CHBR_glucose.zip
• main/CHBR_glucose_tuned.zip
• main/COMiniSatPSChandrasekharDRUP.zip
• main/GHackCOMSPS_DRUP.zip
• main/Glucose_nbSat.zip
• main/Lingelingbbcmain.zip
• main/MapleCMS.zip
• main/MapleCOMSPS_CHB_DRUP.zip
• main/MapleCOMSPS_DRUP.zip
• main/MapleCOMSPS_LRB_DRUP.zip
• main/MapleGlucose.zip
• main/Riss6.zip
• main/Scavel_SAT.zip
• main/Splatz06vmain.zip
• main/YalSAT03r.zip
• main/abcdSAT_drup.zip
• main/cmsat5_autotune2.zip
• main/cmsat5_main2.zip
• main/drat-trim.zip
• main/glucose.zip
• main/glucosePLE.zip
• main/glucose_hack_kiel_newScript.zip
• main/glue_alt.zip
• main/glueminisat-2.2.10-81-main.zip
• main/gulch.zip
• main/tb_glucose.zip
• main/tc_glucose.zip
• parallel16/ParaGlueminisat_2016.zip
• parallel16/Priss6.zip
• parallel16/ampharos-sat-2016.zip
• parallel16/cbpenelope2016.zip
• parallel16/ccspenelope2016.zip
• parallel16/cmsat5_run_parallel.zip
• parallel16/dissolve-SATcomp16.tar.gz
• parallel16/gluco_par.zip
• parallel16/penelope_for_2015_AICR_24_Pair_BUMP100.zip
• parallel16/penelope_for_2015_AICR_48_Pair_BUMP100.zip
• parallel16/plingeling-bbc-sc2016.zip
• parallel16/syrup.zip
• parallel16/tbParaGlueminisat_2016.zip
• parallel16/treengeling-bbc-sc2016.zip
• random/CSCCSat.zip
• random/DCCAlm.zip
• random/YalSAT03r.zip
• random/cmsat5_agile.zip
• random/dimetheus.zip
• random/multi-sat.zip
• random/polypower1.0.zip
• random/polypower2.0.zip
• random/stocBCD.zip