SAT 2007 Competition Phase 2: solvers results per benchmarks

Result page for benchmark

Jump to solvers results

General information on the benchmark

Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.012998
(Un)Satisfiability was proved
Number of variables90
Number of clauses1917
Sum of the clauses size9585
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 51917
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
sapsrt 2007-02-08371520SAT 0.012998 0.014507
adaptnovelty 2007-02-08369373SAT 0.017996 0.018644
gnovelty+ 2007-02-08369372SAT 0.046992 0.048487
adaptg2wsat+ 2007-02-08371519SAT 0.104983 0.106613
ranov 2007-02-08423447SAT 0.25696 0.258348
adaptg2wsat0 2007-02-08369371SAT 0.263959 0.265872
SAT7 2007-02-08426577SAT 3.2665 3.26952
KCNFS 2004426578SAT 3.51846 3.52117
SATzilla RANDOM423445SAT 5.00924 5.01708
March KS 2007-02-08371518SAT 33.9278 34.1404
MXC 2007-02-08426576SAT 143.62 143.667
DEWSATZ 1A 2007-02-08426579SAT 387.305 387.411
minisat SAT 2007424782SAT 2055.29 2055.93
MiraXT v3426041? (TO) 5000.16 2506.63