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.029994
(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
adaptnovelty 2007-02-08369904SAT 0.029994 0.0303011
adaptg2wsat0 2007-02-08369902SAT 0.211966 0.213037
sapsrt 2007-02-08371977SAT 0.224965 0.227921
gnovelty+ 2007-02-08369903SAT 0.302953 0.30696
ranov 2007-02-08423955SAT 0.436933 0.438999
March KS 2007-02-08371975SAT 0.44993 0.450833
adaptg2wsat+ 2007-02-08371976SAT 0.746885 0.748832
SATzilla RANDOM423953SAT 5.48117 5.48478
KCNFS 2004426962SAT 51.6411 51.659
MXC 2007-02-08426960SAT 131.204 131.248
minisat SAT 2007426961SAT 1114.86 1115.17
SAT7 2007-02-08425567SAT 1296.37 1296.71
DEWSATZ 1A 2007-02-08425989SAT 1609.06 1609.47
MiraXT v3426419? (TO) 5000.15 2506.53