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.010997
(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-08371533SAT 0.010997 0.012532
gnovelty+ 2007-02-08369381SAT 0.023995 0.0260259
adaptnovelty 2007-02-08369382SAT 0.231963 0.235288
adaptg2wsat0 2007-02-08369380SAT 0.286955 0.287833
ranov 2007-02-08423460SAT 0.421935 0.422402
adaptg2wsat+ 2007-02-08371532SAT 0.51892 0.521097
SATzilla RANDOM423458SAT 5.16221 5.1671
March KS 2007-02-08371531SAT 20.1639 20.1869
SAT7 2007-02-08426595SAT 128.897 128.934
KCNFS 2004426596SAT 158.28 158.32
DEWSATZ 1A 2007-02-08426597SAT 702.159 702.433
minisat SAT 2007424788SAT 1583.88 1584.51
MXC 2007-02-08424381SAT 2311.35 2312.01
MiraXT v3426598? (TO) 5000.1 2506.53