• agile/Candy.zip
• agile/Riss7.zip
• agile/abcdsat_a17.zip
• agile/abcdsat_r17.zip
• agile/bs_glucose.zip
• agile/cadical-sc17-agile.zip
• agile/cadical-sc17-noproof.zip
• agile/glu_vc.zip
• agile/glucose-4.1.zip
• agile/glulu.zip
• agile/lingeling-bbe.zip
• agile/tch_glucose1.zip
• agile/tch_glucose2.zip
• agile/tch_glucose3.zip
• agile/yalsat-03s.zip
• incremental/abcdsat_i17.zip
• incremental/candy-incremental.tar.gz
• incremental/glucose-ipasir.zip
• incremental/riss_7-ipasir.tar.gz
• main/COMiniSatPS_Pulsar_drup.zip
• main/Candy.zip
• main/CandyRSILi.zip
• main/CandyRSILv.zip
• main/CandySL21.zip
• main/GHackCOMSPS_drup.zip
• main/MapleCOMSPS_CHB_VSIDS_drup.zip
• main/MapleCOMSPS_LRB_VSIDS_2_drup.zip
• main/MapleCOMSPS_LRB_VSIDS_drup.zip
• main/MapleLRB_LCM.zip
• main/MapleLRB_LCMoccRestart.zip
• main/Maple_LCM.zip
• main/Maple_LCM_Dist.zip
• main/Riss7.zip
• main/abcdsat_r17.zip
• main/bs_glucose.zip
• main/cadical-sc17-agile-proof.zip
• main/cadical-sc17-proof.zip
• main/glu_vc.zip
• main/glucose-3.0+width.zip
• main/glucose-4.1.zip
• main/lingeling-bbe.zip
• main/satUZK-seq.zip
• main/tch_glucose1.zip
• main/tch_glucose2.zip
• main/tch_glucose3.zip
• nolimits/COMiniSatPS_Pulsar_no_drup.zip
• nolimits/GHackCOMSPS_no_drup.zip
• nolimits/MapleCOMSPS_CHB_VSIDS_no_drup.zip
• nolimits/MapleCOMSPS_LRB_VSIDS_2_no_drup.zip
• nolimits/MapleCOMSPS_LRB_VSIDS_no_drup.zip
• nolimits/Riss7.zip
• nolimits/Sat4jdefault.zip
• nolimits/abcdSAT_n17.zip
• nolimits/abcdsat_r17.zip
• nolimits/cadical-sc17-agile.zip
• nolimits/cadical-sc17-noproof.zip
• nolimits/glu_vc.zip
• nolimits/glulu.zip
• nolimits/lingeling-bbe.zip
• parallel/abcdsat_parallel.zip
• parallel/cbpenelope2017.zip
• parallel/ccspenelope2017.zip
• parallel/ddc-submit.tar.gz
• parallel/painless.zip
• parallel/plingeling-bbe-sc2017.zip
• parallel/scalope.zip
• parallel/syrup.zip
• parallel/treengeling-bbe-sc2017.zip
• random/Score2SAT.zip
• random/tch_glucose3.zip
• random/yalsat-03s.zip