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.086986
(Un)Satisfiability was proved
Number of variables55
Number of clauses4895
Sum of the clauses size34265
Maximum clause length7
Minimum clause length7
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 50
Number of clauses of size over 54895

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
sapsrt 2007-02-08371632SAT 0.086986 0.134216
gnovelty+ 2007-02-08369480SAT 0.288955 0.29051
adaptg2wsat+ 2007-02-08371631SAT 1.78973 1.79173
adaptg2wsat0 2007-02-08369479SAT 2.57061 2.57183
ranov 2007-02-08423564SAT 3.53346 3.53635
adaptnovelty 2007-02-08369481SAT 4.31634 4.32025
SATzilla RANDOM423562SAT 5.71613 5.72524
KCNFS 2004426670SAT 189.603 189.652
March KS 2007-02-08371630SAT 225.022 225.087
minisat SAT 2007426669SAT 1176.67 1176.97
SAT7 2007-02-08425254SAT 2192.84 2193.49
MXC 2007-02-08424435SAT 2719.36 2720.22
DEWSATZ 1A 2007-02-08425669SAT 4114.56 4115.62
MiraXT v3426671? (TO) 5000.13 2507.23