Configurable SAT Solver Challenge (CSSC) 2014

Results

• Technical report with results (replacing the earlier PDF with Results)
• ArXiv paper about the CSSC
• Scripts to reproduce the results

Incumbents

• INDUSTRIAL
• CRAFTED
• RANDOM SAT+UNSAT
• RANDOM SAT

Log Files (compressed)

• crafted_CSSC-GI-300s-2day_gga-disc_Riss-4.27.tar.gz
• crafted_CSSC-GI-300s-2day_gga-disc_YalSAT.tar.gz
• crafted_CSSC-GI-300s-2day_gga-disc_cryptominisat.tar.gz
• crafted_CSSC-GI-300s-2day_gga-disc_lingeling.tar.gz
• crafted_CSSC-GI-300s-2day_gga-disc_minisat-HACK-999ED-CSSC.tar.gz
• crafted_CSSC-GI-300s-2day_gga_Riss-4.27.tar.gz
• crafted_CSSC-GI-300s-2day_gga_YalSAT.tar.gz
• crafted_CSSC-GI-300s-2day_gga_cryptominisat.tar.gz
• crafted_CSSC-GI-300s-2day_gga_lingeling.tar.gz
• crafted_CSSC-GI-300s-2day_gga_minisat-HACK-999ED-CSSC.tar.gz
• crafted_CSSC-GI-300s-2day_paramils_Riss-4.27.tar.gz
• crafted_CSSC-GI-300s-2day_paramils_SparrowToRiss.tar.gz
• crafted_CSSC-GI-300s-2day_paramils_YalSAT.tar.gz
• crafted_CSSC-GI-300s-2day_paramils_clasp-3.0.4-p8.tar.gz
• crafted_CSSC-GI-300s-2day_paramils_cryptominisat.tar.gz
• crafted_CSSC-GI-300s-2day_paramils_lingeling.tar.gz
• crafted_CSSC-GI-300s-2day_paramils_minisat-HACK-999ED-CSSC.tar.gz
• crafted_CSSC-GI-300s-2day_smac-disc_Riss-4.27.tar.gz
• crafted_CSSC-GI-300s-2day_smac-disc_SparrowToRiss.tar.gz
• crafted_CSSC-GI-300s-2day_smac-disc_YalSAT.tar.gz
• crafted_CSSC-GI-300s-2day_smac-disc_clasp-3.0.4-p8.tar.gz
• crafted_CSSC-GI-300s-2day_smac-disc_cryptominisat.tar.gz
• crafted_CSSC-GI-300s-2day_smac-disc_lingeling.tar.gz
• crafted_CSSC-GI-300s-2day_smac-disc_minisat-HACK-999ED-CSSC.tar.gz
• crafted_CSSC-GI-300s-2day_smac_Riss-4.27.tar.gz
• crafted_CSSC-GI-300s-2day_smac_SparrowToRiss.tar.gz
• crafted_CSSC-GI-300s-2day_smac_YalSAT.tar.gz
• crafted_CSSC-GI-300s-2day_smac_clasp-3.0.4-p8.tar.gz
• crafted_CSSC-GI-300s-2day_smac_cryptominisat.tar.gz
• crafted_CSSC-GI-300s-2day_smac_lingeling.tar.gz
• crafted_CSSC-GI-300s-2day_smac_minisat-HACK-999ED-CSSC.tar.gz
• crafted_CSSC-LABS-300s-2day_gga-disc_Riss-4.27.tar.gz
• crafted_CSSC-LABS-300s-2day_gga-disc_YalSAT.tar.gz
• crafted_CSSC-LABS-300s-2day_gga-disc_cryptominisat.tar.gz
• crafted_CSSC-LABS-300s-2day_gga-disc_lingeling.tar.gz
• crafted_CSSC-LABS-300s-2day_gga-disc_minisat-HACK-999ED-CSSC.tar.gz
• crafted_CSSC-LABS-300s-2day_gga_Riss-4.27.tar.gz
• crafted_CSSC-LABS-300s-2day_gga_YalSAT.tar.gz
• crafted_CSSC-LABS-300s-2day_gga_cryptominisat.tar.gz
• crafted_CSSC-LABS-300s-2day_gga_lingeling.tar.gz
• crafted_CSSC-LABS-300s-2day_gga_minisat-HACK-999ED-CSSC.tar.gz
• crafted_CSSC-LABS-300s-2day_paramils_Riss-4.27.tar.gz
• crafted_CSSC-LABS-300s-2day_paramils_SparrowToRiss.tar.gz
• crafted_CSSC-LABS-300s-2day_paramils_YalSAT.tar.gz
• crafted_CSSC-LABS-300s-2day_paramils_clasp-3.0.4-p8.tar.gz
• crafted_CSSC-LABS-300s-2day_paramils_cryptominisat.tar.gz
• crafted_CSSC-LABS-300s-2day_paramils_lingeling.tar.gz
• crafted_CSSC-LABS-300s-2day_paramils_minisat-HACK-999ED-CSSC.tar.gz
• crafted_CSSC-LABS-300s-2day_smac-disc_Riss-4.27.tar.gz
• crafted_CSSC-LABS-300s-2day_smac-disc_SparrowToRiss.tar.gz
• crafted_CSSC-LABS-300s-2day_smac-disc_YalSAT.tar.gz
• crafted_CSSC-LABS-300s-2day_smac-disc_clasp-3.0.4-p8.tar.gz
• crafted_CSSC-LABS-300s-2day_smac-disc_cryptominisat.tar.gz
• crafted_CSSC-LABS-300s-2day_smac-disc_lingeling.tar.gz
• crafted_CSSC-LABS-300s-2day_smac-disc_minisat-HACK-999ED-CSSC.tar.gz
• crafted_CSSC-LABS-300s-2day_smac_Riss-4.27.tar.gz
• crafted_CSSC-LABS-300s-2day_smac_SparrowToRiss.tar.gz
• crafted_CSSC-LABS-300s-2day_smac_YalSAT.tar.gz
• crafted_CSSC-LABS-300s-2day_smac_clasp-3.0.4-p8.tar.gz
• crafted_CSSC-LABS-300s-2day_smac_cryptominisat.tar.gz
• crafted_CSSC-LABS-300s-2day_smac_lingeling.tar.gz
• crafted_CSSC-LABS-300s-2day_smac_minisat-HACK-999ED-CSSC.tar.gz
• crafted_CSSC-Queens-300s-2day_gga-disc_Riss-4.27.tar.gz
• crafted_CSSC-Queens-300s-2day_gga-disc_YalSAT.tar.gz
• crafted_CSSC-Queens-300s-2day_gga-disc_cryptominisat.tar.gz
• crafted_CSSC-Queens-300s-2day_gga-disc_lingeling.tar.gz
• crafted_CSSC-Queens-300s-2day_gga-disc_minisat-HACK-999ED-CSSC.tar.gz
• crafted_CSSC-Queens-300s-2day_gga_Riss-4.27.tar.gz
• crafted_CSSC-Queens-300s-2day_gga_YalSAT.tar.gz
• crafted_CSSC-Queens-300s-2day_gga_cryptominisat.tar.gz
• crafted_CSSC-Queens-300s-2day_gga_lingeling.tar.gz
• crafted_CSSC-Queens-300s-2day_gga_minisat-HACK-999ED-CSSC.tar.gz
• crafted_CSSC-Queens-300s-2day_paramils_Riss-4.27.tar.gz
• crafted_CSSC-Queens-300s-2day_paramils_SparrowToRiss.tar.gz
• crafted_CSSC-Queens-300s-2day_paramils_YalSAT.tar.gz
• crafted_CSSC-Queens-300s-2day_paramils_clasp-3.0.4-p8.tar.gz
• crafted_CSSC-Queens-300s-2day_paramils_cryptominisat.tar.gz
• crafted_CSSC-Queens-300s-2day_paramils_lingeling.tar.gz
• crafted_CSSC-Queens-300s-2day_paramils_minisat-HACK-999ED-CSSC.tar.gz
• crafted_CSSC-Queens-300s-2day_smac-disc_Riss-4.27.tar.gz
• crafted_CSSC-Queens-300s-2day_smac-disc_SparrowToRiss.tar.gz
• crafted_CSSC-Queens-300s-2day_smac-disc_YalSAT.tar.gz
• crafted_CSSC-Queens-300s-2day_smac-disc_clasp-3.0.4-p8.tar.gz
• crafted_CSSC-Queens-300s-2day_smac-disc_cryptominisat.tar.gz
• crafted_CSSC-Queens-300s-2day_smac-disc_lingeling.tar.gz
• crafted_CSSC-Queens-300s-2day_smac-disc_minisat-HACK-999ED-CSSC.tar.gz
• crafted_CSSC-Queens-300s-2day_smac_Riss-4.27.tar.gz
• crafted_CSSC-Queens-300s-2day_smac_SparrowToRiss.tar.gz
• crafted_CSSC-Queens-300s-2day_smac_YalSAT.tar.gz
• crafted_CSSC-Queens-300s-2day_smac_clasp-3.0.4-p8.tar.gz
• crafted_CSSC-Queens-300s-2day_smac_cryptominisat.tar.gz
• crafted_CSSC-Queens-300s-2day_smac_lingeling.tar.gz
• crafted_CSSC-Queens-300s-2day_smac_minisat-HACK-999ED-CSSC.tar.gz
• industrial_CSSC-BMC08-300s-2day_gga-disc_Riss-4.27.tar.gz
• industrial_CSSC-BMC08-300s-2day_gga-disc_cryptominisat.tar.gz
• industrial_CSSC-BMC08-300s-2day_gga-disc_lingeling.tar.gz
• industrial_CSSC-BMC08-300s-2day_gga-disc_minisat-HACK-999ED-CSSC.tar.gz
• industrial_CSSC-BMC08-300s-2day_gga_Riss-4.27.tar.gz
• industrial_CSSC-BMC08-300s-2day_gga_cryptominisat.tar.gz
• industrial_CSSC-BMC08-300s-2day_gga_lingeling.tar.gz
• industrial_CSSC-BMC08-300s-2day_gga_minisat-HACK-999ED-CSSC.tar.gz
• industrial_CSSC-BMC08-300s-2day_paramils_Riss-4.27.tar.gz
• industrial_CSSC-BMC08-300s-2day_paramils_SparrowToRiss.tar.gz
• industrial_CSSC-BMC08-300s-2day_paramils_clasp-3.0.4-p8.tar.gz
• industrial_CSSC-BMC08-300s-2day_paramils_cryptominisat.tar.gz
• industrial_CSSC-BMC08-300s-2day_paramils_lingeling.tar.gz
• industrial_CSSC-BMC08-300s-2day_paramils_minisat-HACK-999ED-CSSC.tar.gz
• industrial_CSSC-BMC08-300s-2day_smac-disc_Riss-4.27.tar.gz
• industrial_CSSC-BMC08-300s-2day_smac-disc_SparrowToRiss.tar.gz
• industrial_CSSC-BMC08-300s-2day_smac-disc_clasp-3.0.4-p8.tar.gz
• industrial_CSSC-BMC08-300s-2day_smac-disc_cryptominisat.tar.gz
• industrial_CSSC-BMC08-300s-2day_smac-disc_lingeling.tar.gz
• industrial_CSSC-BMC08-300s-2day_smac-disc_minisat-HACK-999ED-CSSC.tar.gz
• industrial_CSSC-BMC08-300s-2day_smac_Riss-4.27.tar.gz
• industrial_CSSC-BMC08-300s-2day_smac_SparrowToRiss.tar.gz
• industrial_CSSC-BMC08-300s-2day_smac_clasp-3.0.4-p8.tar.gz
• industrial_CSSC-BMC08-300s-2day_smac_cryptominisat.tar.gz
• industrial_CSSC-BMC08-300s-2day_smac_lingeling.tar.gz
• industrial_CSSC-BMC08-300s-2day_smac_minisat-HACK-999ED-CSSC.tar.gz
• industrial_CSSC-CircuitFuzz-300s-2day_gga-disc_Riss-4.27.tar.gz
• industrial_CSSC-CircuitFuzz-300s-2day_gga-disc_cryptominisat.tar.gz
• industrial_CSSC-CircuitFuzz-300s-2day_gga-disc_lingeling.tar.gz
• industrial_CSSC-CircuitFuzz-300s-2day_gga-disc_minisat-HACK-999ED-CSSC.tar.gz
• industrial_CSSC-CircuitFuzz-300s-2day_gga_Riss-4.27.tar.gz
• industrial_CSSC-CircuitFuzz-300s-2day_gga_cryptominisat.tar.gz
• industrial_CSSC-CircuitFuzz-300s-2day_gga_lingeling.tar.gz
• industrial_CSSC-CircuitFuzz-300s-2day_gga_minisat-HACK-999ED-CSSC.tar.gz
• industrial_CSSC-CircuitFuzz-300s-2day_paramils_Riss-4.27.tar.gz
• industrial_CSSC-CircuitFuzz-300s-2day_paramils_SparrowToRiss.tar.gz
• industrial_CSSC-CircuitFuzz-300s-2day_paramils_clasp-3.0.4-p8.tar.gz
• industrial_CSSC-CircuitFuzz-300s-2day_paramils_cryptominisat.tar.gz
• industrial_CSSC-CircuitFuzz-300s-2day_paramils_lingeling.tar.gz
• industrial_CSSC-CircuitFuzz-300s-2day_paramils_minisat-HACK-999ED-CSSC.tar.gz
• industrial_CSSC-CircuitFuzz-300s-2day_smac-disc_Riss-4.27.tar.gz
• industrial_CSSC-CircuitFuzz-300s-2day_smac-disc_SparrowToRiss.tar.gz
• industrial_CSSC-CircuitFuzz-300s-2day_smac-disc_clasp-3.0.4-p8.tar.gz
• industrial_CSSC-CircuitFuzz-300s-2day_smac-disc_cryptominisat.tar.gz
• industrial_CSSC-CircuitFuzz-300s-2day_smac-disc_lingeling.tar.gz
• industrial_CSSC-CircuitFuzz-300s-2day_smac-disc_minisat-HACK-999ED-CSSC.tar.gz
• industrial_CSSC-CircuitFuzz-300s-2day_smac_Riss-4.27.tar.gz
• industrial_CSSC-CircuitFuzz-300s-2day_smac_SparrowToRiss.tar.gz
• industrial_CSSC-CircuitFuzz-300s-2day_smac_clasp-3.0.4-p8.tar.gz
• industrial_CSSC-CircuitFuzz-300s-2day_smac_cryptominisat.tar.gz
• industrial_CSSC-CircuitFuzz-300s-2day_smac_lingeling.tar.gz
• industrial_CSSC-CircuitFuzz-300s-2day_smac_minisat-HACK-999ED-CSSC.tar.gz
• industrial_CSSC-IBM-300s-2day_gga-disc_Riss-4.27.tar.gz
• industrial_CSSC-IBM-300s-2day_gga-disc_cryptominisat.tar.gz
• industrial_CSSC-IBM-300s-2day_gga-disc_lingeling.tar.gz
• industrial_CSSC-IBM-300s-2day_gga-disc_minisat-HACK-999ED-CSSC.tar.gz
• industrial_CSSC-IBM-300s-2day_gga_Riss-4.27.tar.gz
• industrial_CSSC-IBM-300s-2day_gga_cryptominisat.tar.gz
• industrial_CSSC-IBM-300s-2day_gga_lingeling.tar.gz
• industrial_CSSC-IBM-300s-2day_gga_minisat-HACK-999ED-CSSC.tar.gz
• industrial_CSSC-IBM-300s-2day_paramils_Riss-4.27.tar.gz
• industrial_CSSC-IBM-300s-2day_paramils_SparrowToRiss.tar.gz
• industrial_CSSC-IBM-300s-2day_paramils_clasp-3.0.4-p8.tar.gz
• industrial_CSSC-IBM-300s-2day_paramils_cryptominisat.tar.gz
• industrial_CSSC-IBM-300s-2day_paramils_lingeling.tar.gz
• industrial_CSSC-IBM-300s-2day_paramils_minisat-HACK-999ED-CSSC.tar.gz
• industrial_CSSC-IBM-300s-2day_smac-disc_Riss-4.27.tar.gz
• industrial_CSSC-IBM-300s-2day_smac-disc_SparrowToRiss.tar.gz
• industrial_CSSC-IBM-300s-2day_smac-disc_clasp-3.0.4-p8.tar.gz
• industrial_CSSC-IBM-300s-2day_smac-disc_cryptominisat.tar.gz
• industrial_CSSC-IBM-300s-2day_smac-disc_lingeling.tar.gz
• industrial_CSSC-IBM-300s-2day_smac-disc_minisat-HACK-999ED-CSSC.tar.gz
• industrial_CSSC-IBM-300s-2day_smac_Riss-4.27.tar.gz
• industrial_CSSC-IBM-300s-2day_smac_SparrowToRiss.tar.gz
• industrial_CSSC-IBM-300s-2day_smac_clasp-3.0.4-p8.tar.gz
• industrial_CSSC-IBM-300s-2day_smac_cryptominisat.tar.gz
• industrial_CSSC-IBM-300s-2day_smac_lingeling.tar.gz
• industrial_CSSC-IBM-300s-2day_smac_minisat-HACK-999ED-CSSC.tar.gz
• randomSAT_CSSC-3SAT1k-sat-300s-2day_gga-disc_CSCCSat2014.tar.gz
• randomSAT_CSSC-3SAT1k-sat-300s-2day_gga-disc_YalSAT.tar.gz
• randomSAT_CSSC-3SAT1k-sat-300s-2day_gga-disc_minisat-HACK-999ED-CSSC.tar.gz
• randomSAT_CSSC-3SAT1k-sat-300s-2day_gga-disc_probSAT.tar.gz
• randomSAT_CSSC-3SAT1k-sat-300s-2day_gga_CSCCSat2014.tar.gz
• randomSAT_CSSC-3SAT1k-sat-300s-2day_gga_YalSAT.tar.gz
• randomSAT_CSSC-3SAT1k-sat-300s-2day_gga_minisat-HACK-999ED-CSSC.tar.gz
• randomSAT_CSSC-3SAT1k-sat-300s-2day_gga_probSAT.tar.gz
• randomSAT_CSSC-3SAT1k-sat-300s-2day_paramils_CSCCSat2014.tar.gz
• randomSAT_CSSC-3SAT1k-sat-300s-2day_paramils_SparrowToRiss.tar.gz
• randomSAT_CSSC-3SAT1k-sat-300s-2day_paramils_YalSAT.tar.gz
• randomSAT_CSSC-3SAT1k-sat-300s-2day_paramils_clasp-3.0.4-p8.tar.gz
• randomSAT_CSSC-3SAT1k-sat-300s-2day_paramils_minisat-HACK-999ED-CSSC.tar.gz
• randomSAT_CSSC-3SAT1k-sat-300s-2day_paramils_probSAT.tar.gz
• randomSAT_CSSC-3SAT1k-sat-300s-2day_smac-disc_CSCCSat2014.tar.gz
• randomSAT_CSSC-3SAT1k-sat-300s-2day_smac-disc_SparrowToRiss.tar.gz
• randomSAT_CSSC-3SAT1k-sat-300s-2day_smac-disc_YalSAT.tar.gz
• randomSAT_CSSC-3SAT1k-sat-300s-2day_smac-disc_clasp-3.0.4-p8.tar.gz
• randomSAT_CSSC-3SAT1k-sat-300s-2day_smac-disc_minisat-HACK-999ED-CSSC.tar.gz
• randomSAT_CSSC-3SAT1k-sat-300s-2day_smac-disc_probSAT.tar.gz
• randomSAT_CSSC-3SAT1k-sat-300s-2day_smac_CSCCSat2014.tar.gz
• randomSAT_CSSC-3SAT1k-sat-300s-2day_smac_SparrowToRiss.tar.gz
• randomSAT_CSSC-3SAT1k-sat-300s-2day_smac_YalSAT.tar.gz
• randomSAT_CSSC-3SAT1k-sat-300s-2day_smac_clasp-3.0.4-p8.tar.gz
• randomSAT_CSSC-3SAT1k-sat-300s-2day_smac_minisat-HACK-999ED-CSSC.tar.gz
• randomSAT_CSSC-3SAT1k-sat-300s-2day_smac_probSAT.tar.gz
• randomSAT_CSSC-5SAT500-sat-300s-2day_gga-disc_CSCCSat2014.tar.gz
• randomSAT_CSSC-5SAT500-sat-300s-2day_gga-disc_YalSAT.tar.gz
• randomSAT_CSSC-5SAT500-sat-300s-2day_gga-disc_minisat-HACK-999ED-CSSC.tar.gz
• randomSAT_CSSC-5SAT500-sat-300s-2day_gga-disc_probSAT.tar.gz
• randomSAT_CSSC-5SAT500-sat-300s-2day_gga_CSCCSat2014.tar.gz
• randomSAT_CSSC-5SAT500-sat-300s-2day_gga_YalSAT.tar.gz
• randomSAT_CSSC-5SAT500-sat-300s-2day_gga_minisat-HACK-999ED-CSSC.tar.gz
• randomSAT_CSSC-5SAT500-sat-300s-2day_gga_probSAT.tar.gz
• randomSAT_CSSC-5SAT500-sat-300s-2day_paramils_CSCCSat2014.tar.gz
• randomSAT_CSSC-5SAT500-sat-300s-2day_paramils_SparrowToRiss.tar.gz
• randomSAT_CSSC-5SAT500-sat-300s-2day_paramils_YalSAT.tar.gz
• randomSAT_CSSC-5SAT500-sat-300s-2day_paramils_clasp-3.0.4-p8.tar.gz
• randomSAT_CSSC-5SAT500-sat-300s-2day_paramils_minisat-HACK-999ED-CSSC.tar.gz
• randomSAT_CSSC-5SAT500-sat-300s-2day_paramils_probSAT.tar.gz
• randomSAT_CSSC-5SAT500-sat-300s-2day_smac-disc_CSCCSat2014.tar.gz
• randomSAT_CSSC-5SAT500-sat-300s-2day_smac-disc_SparrowToRiss.tar.gz
• randomSAT_CSSC-5SAT500-sat-300s-2day_smac-disc_YalSAT.tar.gz
• randomSAT_CSSC-5SAT500-sat-300s-2day_smac-disc_clasp-3.0.4-p8.tar.gz
• randomSAT_CSSC-5SAT500-sat-300s-2day_smac-disc_minisat-HACK-999ED-CSSC.tar.gz
• randomSAT_CSSC-5SAT500-sat-300s-2day_smac-disc_probSAT.tar.gz
• randomSAT_CSSC-5SAT500-sat-300s-2day_smac_CSCCSat2014.tar.gz
• randomSAT_CSSC-5SAT500-sat-300s-2day_smac_SparrowToRiss.tar.gz
• randomSAT_CSSC-5SAT500-sat-300s-2day_smac_YalSAT.tar.gz
• randomSAT_CSSC-5SAT500-sat-300s-2day_smac_clasp-3.0.4-p8.tar.gz
• randomSAT_CSSC-5SAT500-sat-300s-2day_smac_minisat-HACK-999ED-CSSC.tar.gz
• randomSAT_CSSC-5SAT500-sat-300s-2day_smac_probSAT.tar.gz
• randomSAT_CSSC-7SAT90-sat-300s-2day_gga-disc_CSCCSat2014.tar.gz
• randomSAT_CSSC-7SAT90-sat-300s-2day_gga-disc_YalSAT.tar.gz
• randomSAT_CSSC-7SAT90-sat-300s-2day_gga-disc_minisat-HACK-999ED-CSSC.tar.gz
• randomSAT_CSSC-7SAT90-sat-300s-2day_gga-disc_probSAT.tar.gz
• randomSAT_CSSC-7SAT90-sat-300s-2day_gga_CSCCSat2014.tar.gz
• randomSAT_CSSC-7SAT90-sat-300s-2day_gga_YalSAT.tar.gz
• randomSAT_CSSC-7SAT90-sat-300s-2day_gga_minisat-HACK-999ED-CSSC.tar.gz
• randomSAT_CSSC-7SAT90-sat-300s-2day_gga_probSAT.tar.gz
• randomSAT_CSSC-7SAT90-sat-300s-2day_paramils_CSCCSat2014.tar.gz
• randomSAT_CSSC-7SAT90-sat-300s-2day_paramils_SparrowToRiss.tar.gz
• randomSAT_CSSC-7SAT90-sat-300s-2day_paramils_YalSAT.tar.gz
• randomSAT_CSSC-7SAT90-sat-300s-2day_paramils_clasp-3.0.4-p8.tar.gz
• randomSAT_CSSC-7SAT90-sat-300s-2day_paramils_minisat-HACK-999ED-CSSC.tar.gz
• randomSAT_CSSC-7SAT90-sat-300s-2day_paramils_probSAT.tar.gz
• randomSAT_CSSC-7SAT90-sat-300s-2day_smac-disc_CSCCSat2014.tar.gz
• randomSAT_CSSC-7SAT90-sat-300s-2day_smac-disc_SparrowToRiss.tar.gz
• randomSAT_CSSC-7SAT90-sat-300s-2day_smac-disc_YalSAT.tar.gz
• randomSAT_CSSC-7SAT90-sat-300s-2day_smac-disc_clasp-3.0.4-p8.tar.gz
• randomSAT_CSSC-7SAT90-sat-300s-2day_smac-disc_minisat-HACK-999ED-CSSC.tar.gz
• randomSAT_CSSC-7SAT90-sat-300s-2day_smac-disc_probSAT.tar.gz
• randomSAT_CSSC-7SAT90-sat-300s-2day_smac_CSCCSat2014.tar.gz
• randomSAT_CSSC-7SAT90-sat-300s-2day_smac_SparrowToRiss.tar.gz
• randomSAT_CSSC-7SAT90-sat-300s-2day_smac_YalSAT.tar.gz
• randomSAT_CSSC-7SAT90-sat-300s-2day_smac_clasp-3.0.4-p8.tar.gz
• randomSAT_CSSC-7SAT90-sat-300s-2day_smac_minisat-HACK-999ED-CSSC.tar.gz
• randomSAT_CSSC-7SAT90-sat-300s-2day_smac_probSAT.tar.gz
• random_CSSC-3cnf-v350-300s-2day_gga-disc_DCCASat+march-rw.tar.gz
• random_CSSC-3cnf-v350-300s-2day_gga-disc_Riss-4.27.tar.gz
• random_CSSC-3cnf-v350-300s-2day_gga-disc_minisat-HACK-999ED-CSSC.tar.gz
• random_CSSC-3cnf-v350-300s-2day_gga_DCCASat+march-rw.tar.gz
• random_CSSC-3cnf-v350-300s-2day_gga_Riss-4.27.tar.gz
• random_CSSC-3cnf-v350-300s-2day_gga_minisat-HACK-999ED-CSSC.tar.gz
• random_CSSC-3cnf-v350-300s-2day_paramils_DCCASat+march-rw.tar.gz
• random_CSSC-3cnf-v350-300s-2day_paramils_Riss-4.27.tar.gz
• random_CSSC-3cnf-v350-300s-2day_paramils_SparrowToRiss.tar.gz
• random_CSSC-3cnf-v350-300s-2day_paramils_clasp-3.0.4-p8.tar.gz
• random_CSSC-3cnf-v350-300s-2day_paramils_minisat-HACK-999ED-CSSC.tar.gz
• random_CSSC-3cnf-v350-300s-2day_smac-disc_DCCASat+march-rw.tar.gz
• random_CSSC-3cnf-v350-300s-2day_smac-disc_Riss-4.27.tar.gz
• random_CSSC-3cnf-v350-300s-2day_smac-disc_SparrowToRiss.tar.gz
• random_CSSC-3cnf-v350-300s-2day_smac-disc_clasp-3.0.4-p8.tar.gz
• random_CSSC-3cnf-v350-300s-2day_smac-disc_minisat-HACK-999ED-CSSC.tar.gz
• random_CSSC-3cnf-v350-300s-2day_smac_DCCASat+march-rw.tar.gz
• random_CSSC-3cnf-v350-300s-2day_smac_Riss-4.27.tar.gz
• random_CSSC-3cnf-v350-300s-2day_smac_SparrowToRiss.tar.gz
• random_CSSC-3cnf-v350-300s-2day_smac_clasp-3.0.4-p8.tar.gz
• random_CSSC-3cnf-v350-300s-2day_smac_minisat-HACK-999ED-CSSC.tar.gz
• random_CSSC-K3-300s-2day_gga-disc_DCCASat+march-rw.tar.gz
• random_CSSC-K3-300s-2day_gga-disc_Riss-4.27.tar.gz
• random_CSSC-K3-300s-2day_gga-disc_minisat-HACK-999ED-CSSC.tar.gz
• random_CSSC-K3-300s-2day_gga_DCCASat+march-rw.tar.gz
• random_CSSC-K3-300s-2day_gga_Riss-4.27.tar.gz
• random_CSSC-K3-300s-2day_gga_minisat-HACK-999ED-CSSC.tar.gz
• random_CSSC-K3-300s-2day_paramils_DCCASat+march-rw.tar.gz
• random_CSSC-K3-300s-2day_paramils_Riss-4.27.tar.gz
• random_CSSC-K3-300s-2day_paramils_SparrowToRiss.tar.gz
• random_CSSC-K3-300s-2day_paramils_clasp-3.0.4-p8.tar.gz
• random_CSSC-K3-300s-2day_paramils_minisat-HACK-999ED-CSSC.tar.gz
• random_CSSC-K3-300s-2day_smac-disc_DCCASat+march-rw.tar.gz
• random_CSSC-K3-300s-2day_smac-disc_Riss-4.27.tar.gz
• random_CSSC-K3-300s-2day_smac-disc_SparrowToRiss.tar.gz
• random_CSSC-K3-300s-2day_smac-disc_clasp-3.0.4-p8.tar.gz
• random_CSSC-K3-300s-2day_smac-disc_minisat-HACK-999ED-CSSC.tar.gz
• random_CSSC-K3-300s-2day_smac_DCCASat+march-rw.tar.gz
• random_CSSC-K3-300s-2day_smac_Riss-4.27.tar.gz
• random_CSSC-K3-300s-2day_smac_SparrowToRiss.tar.gz
• random_CSSC-K3-300s-2day_smac_clasp-3.0.4-p8.tar.gz
• random_CSSC-K3-300s-2day_smac_minisat-HACK-999ED-CSSC.tar.gz
• random_CSSC-unsat-unif-k5-300s-2day_gga-disc_DCCASat+march-rw.tar.gz
• random_CSSC-unsat-unif-k5-300s-2day_gga-disc_Riss-4.27.tar.gz
• random_CSSC-unsat-unif-k5-300s-2day_gga-disc_minisat-HACK-999ED-CSSC.tar.gz
• random_CSSC-unsat-unif-k5-300s-2day_gga_DCCASat+march-rw.tar.gz
• random_CSSC-unsat-unif-k5-300s-2day_gga_Riss-4.27.tar.gz
• random_CSSC-unsat-unif-k5-300s-2day_gga_minisat-HACK-999ED-CSSC.tar.gz
• random_CSSC-unsat-unif-k5-300s-2day_paramils_DCCASat+march-rw.tar.gz
• random_CSSC-unsat-unif-k5-300s-2day_paramils_Riss-4.27.tar.gz
• random_CSSC-unsat-unif-k5-300s-2day_paramils_SparrowToRiss.tar.gz
• random_CSSC-unsat-unif-k5-300s-2day_paramils_clasp-3.0.4-p8.tar.gz
• random_CSSC-unsat-unif-k5-300s-2day_paramils_minisat-HACK-999ED-CSSC.tar.gz
• random_CSSC-unsat-unif-k5-300s-2day_smac-disc_DCCASat+march-rw.tar.gz
• random_CSSC-unsat-unif-k5-300s-2day_smac-disc_Riss-4.27.tar.gz
• random_CSSC-unsat-unif-k5-300s-2day_smac-disc_SparrowToRiss.tar.gz
• random_CSSC-unsat-unif-k5-300s-2day_smac-disc_clasp-3.0.4-p8.tar.gz
• random_CSSC-unsat-unif-k5-300s-2day_smac-disc_minisat-HACK-999ED-CSSC.tar.gz
• random_CSSC-unsat-unif-k5-300s-2day_smac_DCCASat+march-rw.tar.gz
• random_CSSC-unsat-unif-k5-300s-2day_smac_Riss-4.27.tar.gz
• random_CSSC-unsat-unif-k5-300s-2day_smac_SparrowToRiss.tar.gz
• random_CSSC-unsat-unif-k5-300s-2day_smac_clasp-3.0.4-p8.tar.gz
• random_CSSC-unsat-unif-k5-300s-2day_smac_minisat-HACK-999ED-CSSC.tar.gz