SAT 2011 Competition: main competition (phase 1): comparison of two solvers
Select two solvers that you want to compare
First solver:
adaptg2wsat2011_2011-03-02
Black Hole SAT_2011-03-08
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-industrial (fixed, 1200 s timeout)
borg-sat_11.03.02-seq-random (fixed)
borg-sat_11.03.02-seq-random (fixed, 1200 s timeout)
clasp_2.0-R4092-crafted
clasp_2.0-R4092-indust
claspmt_2.0-R4095
claspmt_2.0-R4095-patched (fixed)
CryptoMiniSat_Strange-Night-1-mt
CryptoMiniSat_Strange-Night-1-mt (fixed)
CryptoMiniSat_Strange-Night-1-st
CryptoMiniSat_Strange-Night-1-st (fixed)
CryptoMiniSat_Strange-Night-2-mt
CryptoMiniSat_Strange-Night-2-mt (fixed)
CryptoMiniSat_Strange-Night2-st
CryptoMiniSat_Strange-Night2-st (fixed)
CryptoMiniSat_TechDemo-Alpha-mt
CryptoMiniSat_TechDemo-Alpha-st
csls_pnorm-8cores
csls_prob-4cores
csls_prob-8cores
EagleUP_1.565.350
EBGlucose_1.0
glucose_2
glueminisat_2.2.5
jMiniSat_2011
kw_2011-02-28
Lingeling_587
Lingeling_587f (fixed)
march_rw_2011-03-02
minisat hack: cir_minisat_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_NOSHR_2011-03-02
minisat hack: LR_GL_SHR_2011-03-02
minisat hack: LR_NOGL_NOSHR_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-03-03
MPhaseSAT64_2011-05-14 (fixed)
MPhaseSAT_M_2011-02-16
MultiFlip_2011-02-11
PicoSAT_941
Plingeling_587
Plingeling_587f (fixed)
ppfolio_par
ppfolio_seq
priss_1.0
priss_Auto
priss_UP
QuteRSat_2011-03-01
QuteRSat_2011-05-12 (fixed)
rcl_2011-04-01
RestartSAT_A75
RestartSAT_B95
riss_1.0
riss_Auto
riss_Auto (1200 s timeout)
riss_Exp
SApperloT_2011-03-23
SApperloT2010_2011-03-04
SApperloT2010_2011-05-15 (fixed)
SArTagnan_2011-03-24
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:LySAT_i/2009-03-20
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
SAT4J core_2.3.0 SNAPSHOT 2011-02-06
sathys_2011-04-01
SAT_Intersec_01_2011-03-01
Satisfiability Solver Selector_2011-03-18
Satisfiability Solver Selector_2011-03-18 (1200 s timeout)
sattime_2011-03-02
sattime+_2011-03-02
sattime2011_2011-03-02
shortsattime+_2011-03-02
shortsattime2011_2011-03-02
Sol_2011-04-04
sparrow2011_sparrow2011_ubcsat1.2_2011-03-02
STRUCTure_0.1
STRUCTure_0.1 (hbr=2)
synit_sat_2011-03-03
tts_5-4
ttsth_5-4
UmSat_2011-02-25
UmSat_2011-05-12 (fixed)
Second solver:
adaptg2wsat2011_2011-03-02
Black Hole SAT_2011-03-08
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-industrial (fixed, 1200 s timeout)
borg-sat_11.03.02-seq-random (fixed)
borg-sat_11.03.02-seq-random (fixed, 1200 s timeout)
clasp_2.0-R4092-crafted
clasp_2.0-R4092-indust
claspmt_2.0-R4095
claspmt_2.0-R4095-patched (fixed)
CryptoMiniSat_Strange-Night-1-mt
CryptoMiniSat_Strange-Night-1-mt (fixed)
CryptoMiniSat_Strange-Night-1-st
CryptoMiniSat_Strange-Night-1-st (fixed)
CryptoMiniSat_Strange-Night-2-mt
CryptoMiniSat_Strange-Night-2-mt (fixed)
CryptoMiniSat_Strange-Night2-st
CryptoMiniSat_Strange-Night2-st (fixed)
CryptoMiniSat_TechDemo-Alpha-mt
CryptoMiniSat_TechDemo-Alpha-st
csls_pnorm-8cores
csls_prob-4cores
csls_prob-8cores
EagleUP_1.565.350
EBGlucose_1.0
glucose_2
glueminisat_2.2.5
jMiniSat_2011
kw_2011-02-28
Lingeling_587
Lingeling_587f (fixed)
march_rw_2011-03-02
minisat hack: cir_minisat_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_NOSHR_2011-03-02
minisat hack: LR_GL_SHR_2011-03-02
minisat hack: LR_NOGL_NOSHR_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-03-03
MPhaseSAT64_2011-05-14 (fixed)
MPhaseSAT_M_2011-02-16
MultiFlip_2011-02-11
PicoSAT_941
Plingeling_587
Plingeling_587f (fixed)
ppfolio_par
ppfolio_seq
priss_1.0
priss_Auto
priss_UP
QuteRSat_2011-03-01
QuteRSat_2011-05-12 (fixed)
rcl_2011-04-01
RestartSAT_A75
RestartSAT_B95
riss_1.0
riss_Auto
riss_Auto (1200 s timeout)
riss_Exp
SApperloT_2011-03-23
SApperloT2010_2011-03-04
SApperloT2010_2011-05-15 (fixed)
SArTagnan_2011-03-24
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:LySAT_i/2009-03-20
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
SAT4J core_2.3.0 SNAPSHOT 2011-02-06
sathys_2011-04-01
SAT_Intersec_01_2011-03-01
Satisfiability Solver Selector_2011-03-18
Satisfiability Solver Selector_2011-03-18 (1200 s timeout)
sattime_2011-03-02
sattime+_2011-03-02
sattime2011_2011-03-02
shortsattime+_2011-03-02
shortsattime2011_2011-03-02
Sol_2011-04-04
sparrow2011_sparrow2011_ubcsat1.2_2011-03-02
STRUCTure_0.1
STRUCTure_0.1 (hbr=2)
synit_sat_2011-03-03
tts_5-4
ttsth_5-4
UmSat_2011-02-25
UmSat_2011-05-12 (fixed)
No chosen solver.