SAT 2007 Competition Phase 1: solvers results per benchmarks

Result page for benchmark
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1014417748-14-SAT.cnf

Jump to solvers results

General information on the benchmark

Namerandom/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1014417748-14-SAT.cnf
MD5SUM12c6ae21cea692230c5e45227dcf3ab1
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.050991
Satisfiable
(Un)Satisfiability was proved
Number of variables810
Number of clauses2931
Sum of the clauses size8500
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2293
Number of clauses of size 32638
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
adaptg2wsat 2007-02-08309777SAT 0.050991 0.052872
Hybrid1 2007-02-08309765SAT 0.102983 0.103689
adaptg2wsatp 2007-02-08309775SAT 0.108982 0.109609
adaptnovelty 2007-02-08309773SAT 0.139978 0.139833
adaptg2wsat+ 2007-02-08309774SAT 0.155975 0.157563
gnovelty+ 2007-02-08309766SAT 0.229964 0.257665
FH 2007-02-08309767SAT 0.232963 0.233027
adaptg2wsat0 2007-02-08309776SAT 0.242963 0.245011
March KS 2007-02-08309761SAT 0.446931 0.446398
ranov 2007-02-08309755SAT 0.740886 0.74461
saps 2007-02-08309753SAT 0.904861 0.906732
sapsrt 2007-02-08309752SAT 1.07084 1.07226
SATzilla RANDOM309784SAT 5.2732 5.28778
SATzilla CRAFTED309785SAT 5.2782 5.28141
SATzilla FULL309786SAT 5.40918 5.41381
KCNFS SMP309762SAT 45.94 23.0697
KCNFS 2004309764SAT 51.5962 51.6212
MXC 2007-02-08309757SAT 130.985 131.033
KCNFS 2006309763SAT 182.346 182.447
DEWSATZ 2007-04-26 (fixed)428012SAT 206.099 206.16
DEWSATZ 2007-02-08309769SAT 206.177 206.23
minimarch 2007-04-26 (fixed)428013SAT 597.337 597.502
minisat SAT 2007421353SAT 1116.49 1116.75
minisat SAT 2007 (with assertions)309759SAT 1150.6 1150.96
picosat 535309756SAT 1191.87 1192.19
barcelogic 2007-02-08309772? (TO) 1200.02 1200.38
DEWSATZ 1A 2007-02-08309768? (TO) 1200.03 1200.36
CMUSAT BASE 2007-02-08309770? (TO) 1200.04 1200.5
CMUSAT 2007-02-08309771? (TO) 1200.04 1200.5
Barcelogic Fixed 2007-04-13347299? (TO) 1200.04 1200.52
Spear FHS 1.0309781? (TO) 1200.05 1200.35
TTS 4.0309748? (TO) 1200.06 1200.51
UnitMarch 2007-02-08309747? (TO) 1200.06 1200.37
SAT7 2007-02-08309751? (TO) 1200.06 1200.49
Rsat 2007-02-08309754? (TO) 1200.07 1200.18
Spear FH 1.0309782? (TO) 1200.07 1200.45
MiraXT v1309780? (TO) 1200.07 1200.52
MiraXT v2309779? (TO) 1200.08 1200.82
tinisat 2007-02-08309750? (TO) 1200.09 1200.44
TiniSatELite 2007-02-08309749? (TO) 1200.09 1200.44
Spear 2007-02-12309783? (TO) 1200.1 1200.42
minimarch 2007-02-08309760? (TO) 1200.1 1200.42
SAT4J SAT 2007309746? (TO) 1200.13 1200.02
MiraXT v3309778? (TO) 1200.14 601.627
ornithorynque 0.1 alpha328354? (TO) 1200.17 601.629
Mmisat 2007-02-08309758Signal 0.643901 0.643728