SAT 2009 Competition: main competition (phase2): comparison of two solvers
Select two solvers that you want to compare
First solver:
adaptg2wsat2009++_2009-03-23
CircUs_2009-03-23
clasp_1.2.0-SAT09-32
glucose_1.0
gnovelty+2_2009-03-22
gNovelty+-T_2009-03-22
hybridGM3_3
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 1/2009-03-20
march_hi_hi
MiniSat_2.1 (Sat-race'08 Edition)
MiniSAT 09z_2009-03-22
minisat_cumr_p-2009-03-18
MXC_2009-03-10
precosat_236
Rsat_2009-03-22
SApperloT_base
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
SATzilla2009_C_2009-03-22
SATzilla2009_I_2009-03-22
SATzilla2009_R_2009-03-22
TNM_2009-03-22
VARSAT-industrial_2009-03-22
Second solver:
adaptg2wsat2009++_2009-03-23
CircUs_2009-03-23
clasp_1.2.0-SAT09-32
glucose_1.0
gnovelty+2_2009-03-22
gNovelty+-T_2009-03-22
hybridGM3_3
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 1/2009-03-20
march_hi_hi
MiniSat_2.1 (Sat-race'08 Edition)
MiniSAT 09z_2009-03-22
minisat_cumr_p-2009-03-18
MXC_2009-03-10
precosat_236
Rsat_2009-03-22
SApperloT_base
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
SATzilla2009_C_2009-03-22
SATzilla2009_I_2009-03-22
SATzilla2009_R_2009-03-22
TNM_2009-03-22
VARSAT-industrial_2009-03-22
No chosen solver.