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