SAT 2007 Competition Phase 1: solvers results per benchmarks

Result page for benchmark
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S313074252-14.cnf

Jump to solvers results

General information on the benchmark

Namerandom/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S313074252-14.cnf
MD5SUMb8537884c9d9279a530f0796aac6a0e7
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.891864
Satisfiable
(Un)Satisfiability was proved
Number of variables4000
Number of clauses16800
Sum of the clauses size50400
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 316800
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
gnovelty+ 2007-02-08305707SAT 0.891864 0.904398
Hybrid1 2007-02-08305706SAT 12.1592 12.1691
adaptnovelty 2007-02-08305714SAT 18.8461 18.8585
adaptg2wsat+ 2007-02-08305715SAT 58.5961 58.6183
adaptg2wsat 2007-02-08305718SAT 61.0457 61.0621
ranov 2007-02-08305696SAT 80.6547 80.6998
adaptg2wsat0 2007-02-08305717SAT 95.8214 95.8523
adaptg2wsatp 2007-02-08305716SAT 136.74 136.804
FH 2007-02-08305708SAT 636.623 636.888
SATzilla RANDOM305725? (exit code) 1199.53 1199.94
SATzilla FULL305727? (exit code) 1199.56 1199.97
SATzilla CRAFTED305726? (exit code) 1199.62 1200.21
MXC 2007-02-08305698? (TO) 1200.02 1200.59
saps 2007-02-08305694? (TO) 1200.02 1200.52
Rsat 2007-02-08305695? (TO) 1200.03 1200.58
picosat 535305697? (TO) 1200.03 1200.45
minimarch 2007-04-26 (fixed)427815? (TO) 1200.03 1200.31
UnitMarch 2007-02-08305688? (TO) 1200.04 1200.44
Mmisat 2007-02-08305699? (TO) 1200.04 1200.53
minisat SAT 2007 (with assertions)305700? (TO) 1200.04 1200.49
minisat SAT 2007421254? (TO) 1200.04 1200.51
barcelogic 2007-02-08305713? (TO) 1200.04 1200.46
KCNFS 2004305705? (TO) 1200.05 1200.42
SAT7 2007-02-08305692? (TO) 1200.06 1200.59
TiniSatELite 2007-02-08305690? (TO) 1200.06 1200.56
DEWSATZ 2007-04-26 (fixed)427814? (TO) 1200.06 1200.41
tinisat 2007-02-08305691? (TO) 1200.07 1200.51
KCNFS SMP305703? (TO) 1200.08 602.028
Spear FH 1.0305723? (TO) 1200.08 1200.56
Spear FHS 1.0305722? (TO) 1200.08 1200.46
Barcelogic Fixed 2007-04-13347200? (TO) 1200.08 1200.51
TTS 4.0305689? (TO) 1200.09 1200.57
MiraXT v2305720? (TO) 1200.09 1200.43
sapsrt 2007-02-08305693? (TO) 1200.1 1200.57
DEWSATZ 1A 2007-02-08305709? (TO) 1200.1 1200.55
DEWSATZ 2007-02-08305710? (TO) 1200.1 1200.62
minimarch 2007-02-08305701? (TO) 1200.1 1200.54
MiraXT v1305721? (TO) 1200.1 1201.03
KCNFS 2006305704? (TO) 1200.11 1200.54
March KS 2007-02-08305702? (TO) 1200.11 1200.53
CMUSAT BASE 2007-02-08305711? (TO) 1200.12 1200.66
Spear 2007-02-12305724? (TO) 1200.12 1200.55
CMUSAT 2007-02-08305712? (TO) 1200.12 1200.55
SAT4J SAT 2007305687? (TO) 1200.18 1199.59
ornithorynque 0.1 alpha328255? (TO) 1200.18 601.531
MiraXT v3305719? (TO) 1200.18 601.752