SAT 2007 Competition Phase 2: comparison of two solvers
Select two solvers that you want to compare
First solver:
adaptg2wsat+_2007-02-08
adaptg2wsat0_2007-02-08
adaptnovelty_2007-02-08
CMUSAT_2007-02-08
DEWSATZ 1A_2007-02-08
gnovelty+_2007-02-08
KCNFS_2004
March KS_2007-02-08
minisat_SAT 2007
MiraXT_v3
MXC_2007-02-08
picosat_535
ranov_2007-02-08
Rsat_2007-02-08
sapsrt_2007-02-08
SAT7_2007-02-08
SATzilla_CRAFTED
SATzilla_RANDOM
Siege_V4
TiniSatELite_2007-02-08
TTS_4.0
Second solver:
adaptg2wsat+_2007-02-08
adaptg2wsat0_2007-02-08
adaptnovelty_2007-02-08
CMUSAT_2007-02-08
DEWSATZ 1A_2007-02-08
gnovelty+_2007-02-08
KCNFS_2004
March KS_2007-02-08
minisat_SAT 2007
MiraXT_v3
MXC_2007-02-08
picosat_535
ranov_2007-02-08
Rsat_2007-02-08
sapsrt_2007-02-08
SAT7_2007-02-08
SATzilla_CRAFTED
SATzilla_RANDOM
Siege_V4
TiniSatELite_2007-02-08
TTS_4.0
No chosen solver.