SAT 2007 Competition Phase 1: comparison of two solvers
Select two solvers that you want to compare
First solver:
adaptg2wsat _2007-02-08
adaptg2wsat+_2007-02-08
adaptg2wsat0_2007-02-08
adaptg2wsatp_2007-02-08
adaptnovelty_2007-02-08
barcelogic_2007-02-08
Barcelogic Fixed_2007-04-13
CMUSAT_2007-02-08
CMUSAT BASE_2007-02-08
DEWSATZ_2007-02-08
DEWSATZ_2007-04-26 (fixed)
DEWSATZ 1A_2007-02-08
FH_2007-02-08
gnovelty+_2007-02-08
Hybrid1_2007-02-08
KCNFS_2004
KCNFS_2006
KCNFS_SMP
March KS_2007-02-08
minimarch_2007-02-08
minimarch_2007-04-26 (fixed)
minisat_SAT 2007
minisat_SAT 2007 (with assertions)
MiraXT_v1
MiraXT_v2
MiraXT_v3
Mmisat_2007-02-08
MXC_2007-02-08
ornithorynque_0.1 alpha
picosat_535
ranov_2007-02-08
Rsat_2007-02-08
saps_2007-02-08
sapsrt_2007-02-08
SAT4J_SAT 2007
SAT4J JVM PARAM CHANGED_SAT 2007
SAT7_2007-02-08
SATzilla_CRAFTED
SATzilla_FULL
SATzilla_RANDOM
Spear_2007-02-12
Spear FH_1.0
Spear FHS_1.0
tinisat_2007-02-08
TiniSatELite_2007-02-08
TTS_4.0
UnitMarch_2007-02-08
Second solver:
adaptg2wsat _2007-02-08
adaptg2wsat+_2007-02-08
adaptg2wsat0_2007-02-08
adaptg2wsatp_2007-02-08
adaptnovelty_2007-02-08
barcelogic_2007-02-08
Barcelogic Fixed_2007-04-13
CMUSAT_2007-02-08
CMUSAT BASE_2007-02-08
DEWSATZ_2007-02-08
DEWSATZ_2007-04-26 (fixed)
DEWSATZ 1A_2007-02-08
FH_2007-02-08
gnovelty+_2007-02-08
Hybrid1_2007-02-08
KCNFS_2004
KCNFS_2006
KCNFS_SMP
March KS_2007-02-08
minimarch_2007-02-08
minimarch_2007-04-26 (fixed)
minisat_SAT 2007
minisat_SAT 2007 (with assertions)
MiraXT_v1
MiraXT_v2
MiraXT_v3
Mmisat_2007-02-08
MXC_2007-02-08
ornithorynque_0.1 alpha
picosat_535
ranov_2007-02-08
Rsat_2007-02-08
saps_2007-02-08
sapsrt_2007-02-08
SAT4J_SAT 2007
SAT4J JVM PARAM CHANGED_SAT 2007
SAT7_2007-02-08
SATzilla_CRAFTED
SATzilla_FULL
SATzilla_RANDOM
Spear_2007-02-12
Spear FH_1.0
Spear FHS_1.0
tinisat_2007-02-08
TiniSatELite_2007-02-08
TTS_4.0
UnitMarch_2007-02-08
No chosen solver.