• 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