SAT 2007 Competition Phase 1: solvers results per benchmarks

Result page for benchmark
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S455021619-18.SAT.shuffled.cnf

Jump to solvers results

General information on the benchmark

Namerandom/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S455021619-18.SAT.shuffled.cnf
MD5SUM693bc5cdd356b5e961552ebc3dddd87e
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.006998
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of clauses2130
Sum of the clauses size10650
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 52130
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
adaptnovelty 2007-02-08292799SAT 0.006998 0.00892497
sapsrt 2007-02-08292778SAT 0.015996 0.017412
saps 2007-02-08292779SAT 0.033994 0.0360061
Hybrid1 2007-02-08292791SAT 0.096984 0.0988369
FH 2007-02-08292793SAT 0.096985 0.0989561
adaptg2wsat 2007-02-08292803SAT 0.098984 0.101586
adaptg2wsat+ 2007-02-08292800SAT 0.103983 0.105304
adaptg2wsatp 2007-02-08292801SAT 0.12198 0.123838
gnovelty+ 2007-02-08292792SAT 0.12598 0.126449
adaptg2wsat0 2007-02-08292802SAT 0.248961 0.250766
ranov 2007-02-08292781SAT 0.25896 0.260132
SATzilla CRAFTED292811SAT 5.02523 5.03019
SATzilla RANDOM292810SAT 5.03423 5.03852
SATzilla FULL292812SAT 5.07123 5.07526
KCNFS SMP292788SAT 6.51 3.40174
March KS 2007-02-08292787SAT 49.0365 49.0561
KCNFS 2006292789SAT 466.329 466.497
UnitMarch 2007-02-08292773SAT 518.398 518.535
KCNFS 2004292790SAT 558.37 558.51
minimarch 2007-02-08292786SAT 768.247 768.539
MXC 2007-02-08292783? (TO) 1200.01 1200.3
TiniSatELite 2007-02-08292775? (TO) 1200.01 1200.41
DEWSATZ 2007-02-08292795? (TO) 1200.02 1200.41
Rsat 2007-02-08292780? (TO) 1200.02 1200.37
barcelogic 2007-02-08292798? (TO) 1200.03 1200.5
CMUSAT 2007-02-08292797? (TO) 1200.03 1200.6
Mmisat 2007-02-08292784? (TO) 1200.03 1200.39
CMUSAT BASE 2007-02-08292796? (TO) 1200.04 1200.55
Spear FH 1.0292808? (TO) 1200.04 1200.56
Barcelogic Fixed 2007-04-13346885? (TO) 1200.04 1200.51
MiraXT v2292805? (TO) 1200.05 1200.02
SAT7 2007-02-08292777? (TO) 1200.06 1200.38
minisat SAT 2007 (with assertions)292785? (TO) 1200.06 1200.38
picosat 535292782? (TO) 1200.06 1200.48
minisat SAT 2007420939? (TO) 1200.07 1200.51
TTS 4.0292774? (TO) 1200.08 1200.38
minimarch 2007-04-26 (fixed)427185? (TO) 1200.08 1200.41
DEWSATZ 2007-04-26 (fixed)427184? (TO) 1200.08 1200.57
MiraXT v1292806? (TO) 1200.09 1200.42
DEWSATZ 1A 2007-02-08292794? (TO) 1200.1 1200.59
tinisat 2007-02-08292776? (TO) 1200.11 1200.5
MiraXT v3292804? (TO) 1200.11 601.627
Spear FHS 1.0292807? (TO) 1200.12 1200.65
Spear 2007-02-12292809? (TO) 1200.12 1200.61
ornithorynque 0.1 alpha327940? (TO) 1200.16 601.524
SAT4J SAT 2007292772? (TO) 1200.18 1200.34