SAT 2007 Competition Phase 1: solvers results per benchmarks

Result page for benchmark
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1813726766-14.SAT.shuffled.cnf

Jump to solvers results

General information on the benchmark

Namerandom/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1813726766-14.SAT.shuffled.cnf
MD5SUM87ba5bd7274af5ee4370015ed975d3db
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.020996
Satisfiable
(Un)Satisfiability was proved
Number of variables110
Number of clauses2343
Sum of the clauses size11715
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 52343
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
sapsrt 2007-02-08293803SAT 0.020996 0.021884
adaptg2wsat0 2007-02-08293827SAT 0.096985 0.0985811
adaptg2wsat 2007-02-08293828SAT 0.127979 0.129857
adaptnovelty 2007-02-08293824SAT 0.150976 0.152438
adaptg2wsatp 2007-02-08293826SAT 0.180971 0.181142
adaptg2wsat+ 2007-02-08293825SAT 0.245962 0.247884
FH 2007-02-08293818SAT 0.303952 0.305719
Hybrid1 2007-02-08293816SAT 0.313951 0.315482
saps 2007-02-08293804SAT 0.317951 0.319603
ranov 2007-02-08293806SAT 0.336947 0.33721
gnovelty+ 2007-02-08293817SAT 0.591909 0.593325
SATzilla FULL293837SAT 5.06523 5.07104
SATzilla RANDOM293835SAT 5.15322 5.15924
SATzilla CRAFTED293836SAT 5.30419 5.30988
KCNFS 2006293814SAT 74.3747 74.4049
March KS 2007-02-08293812SAT 192.185 192.238
KCNFS SMP293813SAT 241.84 121.296
minimarch 2007-02-08293811SAT 332.606 332.683
Barcelogic Fixed 2007-04-13346910? (TO) 1200 1200.41
Rsat 2007-02-08293805? (TO) 1200.01 1200.57
DEWSATZ 1A 2007-02-08293819? (TO) 1200.01 1200.4
Spear FHS 1.0293832? (TO) 1200.02 1200.46
SAT7 2007-02-08293802? (TO) 1200.03 1200.5
tinisat 2007-02-08293801? (TO) 1200.04 1200.47
MXC 2007-02-08293808? (TO) 1200.04 1200.58
Mmisat 2007-02-08293809? (TO) 1200.04 1200.53
barcelogic 2007-02-08293823? (TO) 1200.04 1200.46
DEWSATZ 2007-02-08293820? (TO) 1200.04 1200.48
Spear FH 1.0293833? (TO) 1200.05 1200.51
MiraXT v2293830? (TO) 1200.06 1200.42
minimarch 2007-04-26 (fixed)427235? (TO) 1200.07 1200.51
DEWSATZ 2007-04-26 (fixed)427234? (TO) 1200.08 1200.41
minisat SAT 2007 (with assertions)293810? (TO) 1200.09 1200.61
TiniSatELite 2007-02-08293800? (TO) 1200.1 1200.55
minisat SAT 2007420964? (TO) 1200.1 1200.51
TTS 4.0293799? (TO) 1200.1 1200.49
MiraXT v1293831? (TO) 1200.1 1200.82
Spear 2007-02-12293834? (TO) 1200.11 1200.59
picosat 535293807? (TO) 1200.11 1200.95
CMUSAT 2007-02-08293822? (TO) 1200.11 1200.7
KCNFS 2004293815? (TO) 1200.11 1200.5
UnitMarch 2007-02-08293798? (TO) 1200.11 1200.54
CMUSAT BASE 2007-02-08293821? (TO) 1200.12 1200.54
ornithorynque 0.1 alpha327965? (TO) 1200.13 601.524
MiraXT v3293829? (TO) 1200.13 601.729
SAT4J SAT 2007293797? (TO) 1200.15 1199.98