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