SAT 2009 Competition: main competition (phase 1): comparison of two solvers
Select two solvers that you want to compare
First solver:
adaptg2wsat2009_2009-03-23
adaptg2wsat2009++_2009-03-23
CircUs_2009-03-23
clasp_1.2.0-SAT09-32
CSat_2009-03-22
glucose_1.0
gnovelty+_2009-03-22
gnovelty+2_2009-03-22
gnovelty+2-H_2009-03-22
gNovelty+-T_2009-03-22
gNovelty+-V.2-T_2009-03-22
gNovelty+-V.2-T-H_2009-03-22
Hybrid2_2009-03-22
hybridGM_1
hybridGM3_3
hybridGM7_7
HydraSAT_2009-03-22-Base
HydraSAT-Flat_2009-03-22-Flat
HydraSAT-Multi_2009-03-22-Multi
iPAWS_2009-03-22
IUT_BMB_SAT_1.0
kw_2009-03-20
LySAT_c/2009-03-20
LySAT_i/2009-03-20
ManySAT 1.1_aimd 0/2009-03-20
ManySAT 1.1_aimd 1/2009-03-20
ManySAT 1.1_aimd 2/2009-03-20
march_hi_hi
march_nn_nn
MiniSat_2.1 (Sat-race'08 Edition)
MiniSAT 09z_2009-03-22
minisat_cumr_p-2009-03-18
MoRsat_2009-03-03
MXC_2009-03-10
NCVWr_2009-03-22
picosat_913
precosat_236
Rsat_2009-03-22
SApperloT_base
SApperloT_hrp
SAT07 reference solver: adaptg2wsat+_2007-02-08
SAT07 reference solver: gnovelty+_2007-02-08
SAT07 reference solver: March KS_2007-02-08
SAT07 reference solver: minisat_SAT 2007
SAT07 reference solver: picosat_535
SAT07 reference solver: Rsat_2007-02-08
SAT07 reference solver: SATzilla_CRAFTED
SAT07 reference solver: SATzilla_RANDOM
SAT4J CORE _2.1 RC1
satake_2009-03-22
SATzilla2009_C_2009-03-22
SATzilla2009_I_2009-03-22
SATzilla2009_R_2009-03-22
slstc_1.0
TNM_2009-03-22
tts_tts-5-0
ttsth-5-0_2009-03-19
VARSAT-crafted_2009-03-22
VARSAT-industrial_2009-03-22
VARSAT-random_2009-03-22
Second solver:
adaptg2wsat2009_2009-03-23
adaptg2wsat2009++_2009-03-23
CircUs_2009-03-23
clasp_1.2.0-SAT09-32
CSat_2009-03-22
glucose_1.0
gnovelty+_2009-03-22
gnovelty+2_2009-03-22
gnovelty+2-H_2009-03-22
gNovelty+-T_2009-03-22
gNovelty+-V.2-T_2009-03-22
gNovelty+-V.2-T-H_2009-03-22
Hybrid2_2009-03-22
hybridGM_1
hybridGM3_3
hybridGM7_7
HydraSAT_2009-03-22-Base
HydraSAT-Flat_2009-03-22-Flat
HydraSAT-Multi_2009-03-22-Multi
iPAWS_2009-03-22
IUT_BMB_SAT_1.0
kw_2009-03-20
LySAT_c/2009-03-20
LySAT_i/2009-03-20
ManySAT 1.1_aimd 0/2009-03-20
ManySAT 1.1_aimd 1/2009-03-20
ManySAT 1.1_aimd 2/2009-03-20
march_hi_hi
march_nn_nn
MiniSat_2.1 (Sat-race'08 Edition)
MiniSAT 09z_2009-03-22
minisat_cumr_p-2009-03-18
MoRsat_2009-03-03
MXC_2009-03-10
NCVWr_2009-03-22
picosat_913
precosat_236
Rsat_2009-03-22
SApperloT_base
SApperloT_hrp
SAT07 reference solver: adaptg2wsat+_2007-02-08
SAT07 reference solver: gnovelty+_2007-02-08
SAT07 reference solver: March KS_2007-02-08
SAT07 reference solver: minisat_SAT 2007
SAT07 reference solver: picosat_535
SAT07 reference solver: Rsat_2007-02-08
SAT07 reference solver: SATzilla_CRAFTED
SAT07 reference solver: SATzilla_RANDOM
SAT4J CORE _2.1 RC1
satake_2009-03-22
SATzilla2009_C_2009-03-22
SATzilla2009_I_2009-03-22
SATzilla2009_R_2009-03-22
slstc_1.0
TNM_2009-03-22
tts_tts-5-0
ttsth-5-0_2009-03-19
VARSAT-crafted_2009-03-22
VARSAT-industrial_2009-03-22
VARSAT-random_2009-03-22
No chosen solver.