SAT 2011 Competition: main competition (phase 2): comparison of two solvers
Select two solvers that you want to compare
First solver:
adaptg2wsat2011_2011-03-02
borg-sat_11.03.02-industrial
borg-sat_11.03.02-par-industrial (fixed)
borg-sat_11.03.02-par-random (fixed)
borg-sat_11.03.02-random
borg-sat_11.03.02-seq-industrial (fixed)
borg-sat_11.03.02-seq-random (fixed)
clasp_2.0-R4092-crafted
claspmt_2.0-R4095
claspmt_2.0-R4095-patched (fixed)
CryptoMiniSat_Strange-Night-2-mt
CryptoMiniSat_Strange-Night-2-mt (fixed)
CryptoMiniSat_Strange-Night2-st (fixed)
csls_pnorm-8cores
EagleUP_1.565.350
EBGlucose_1.0
glucose_2
glueminisat_2.2.5
jMiniSat_2011
Lingeling_587
Lingeling_587f (fixed)
march_rw_2011-03-02
minisat hack: cir_minisat_2011-05-13 (simp)
minisat hack: contrasat_2011-03-02
minisat hack: EBMiniSAT_2011-03-02
minisat hack: LR_GL_SHR_2011-03-02
minisat hack: MiniSAT_2.2.0-agile-26
minisat hack: minisat_psm_2011-04-01
minisat hack reference: minisat_2.2.0
MPhaseSAT_2011-02-15
MPhaseSAT64_2011-05-14 (fixed)
MPhaseSAT_M_2011-02-16
PicoSAT_941
Plingeling_587
Plingeling_587f (fixed)
ppfolio_par
ppfolio_seq
priss_1.0
QuteRSat_2011-05-12 (fixed)
rcl_2011-04-01
RestartSAT_B95
SApperloT2010_2011-05-15 (fixed)
SArTagnan_2011-05-15 (fixed)
SAT07 reference solver: minisat_SAT 2007
SAT09 reference solver: clasp_1.2.0-SAT09-32
SAT09 reference solver:glucose_1.0
SAT09 reference solver: gnovelty+2_2009-03-22
SAT09 reference solver: ManySAT 1.1_aimd 1/2009-03-20
SAT09 reference solver: march_hi_hi
SAT09 reference solver:precosat_236
SAT09 reference solver: SATzilla2009_C_2009-03-22
SAT09 reference solver: SATzilla2009_R_2009-03-22
SAT09 reference solver: TNM_2009-03-22
sathys_2011-04-01
Satisfiability Solver Selector_2011-03-18
sattime_2011-03-02
sattime+_2011-03-02
sattime2011_2011-03-02
Sol_2011-04-04
sparrow2011_sparrow2011_ubcsat1.2_2011-03-02
Second solver:
adaptg2wsat2011_2011-03-02
borg-sat_11.03.02-industrial
borg-sat_11.03.02-par-industrial (fixed)
borg-sat_11.03.02-par-random (fixed)
borg-sat_11.03.02-random
borg-sat_11.03.02-seq-industrial (fixed)
borg-sat_11.03.02-seq-random (fixed)
clasp_2.0-R4092-crafted
claspmt_2.0-R4095
claspmt_2.0-R4095-patched (fixed)
CryptoMiniSat_Strange-Night-2-mt
CryptoMiniSat_Strange-Night-2-mt (fixed)
CryptoMiniSat_Strange-Night2-st (fixed)
csls_pnorm-8cores
EagleUP_1.565.350
EBGlucose_1.0
glucose_2
glueminisat_2.2.5
jMiniSat_2011
Lingeling_587
Lingeling_587f (fixed)
march_rw_2011-03-02
minisat hack: cir_minisat_2011-05-13 (simp)
minisat hack: contrasat_2011-03-02
minisat hack: EBMiniSAT_2011-03-02
minisat hack: LR_GL_SHR_2011-03-02
minisat hack: MiniSAT_2.2.0-agile-26
minisat hack: minisat_psm_2011-04-01
minisat hack reference: minisat_2.2.0
MPhaseSAT_2011-02-15
MPhaseSAT64_2011-05-14 (fixed)
MPhaseSAT_M_2011-02-16
PicoSAT_941
Plingeling_587
Plingeling_587f (fixed)
ppfolio_par
ppfolio_seq
priss_1.0
QuteRSat_2011-05-12 (fixed)
rcl_2011-04-01
RestartSAT_B95
SApperloT2010_2011-05-15 (fixed)
SArTagnan_2011-05-15 (fixed)
SAT07 reference solver: minisat_SAT 2007
SAT09 reference solver: clasp_1.2.0-SAT09-32
SAT09 reference solver:glucose_1.0
SAT09 reference solver: gnovelty+2_2009-03-22
SAT09 reference solver: ManySAT 1.1_aimd 1/2009-03-20
SAT09 reference solver: march_hi_hi
SAT09 reference solver:precosat_236
SAT09 reference solver: SATzilla2009_C_2009-03-22
SAT09 reference solver: SATzilla2009_R_2009-03-22
SAT09 reference solver: TNM_2009-03-22
sathys_2011-04-01
Satisfiability Solver Selector_2011-03-18
sattime_2011-03-02
sattime+_2011-03-02
sattime2011_2011-03-02
Sol_2011-04-04
sparrow2011_sparrow2011_ubcsat1.2_2011-03-02
No chosen solver.