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.031994
(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
adaptnovelty 2007-02-08369376SAT 0.031994 0.0313361
adaptg2wsat+ 2007-02-08371525SAT 0.087986 0.090122
adaptg2wsat0 2007-02-08369374SAT 0.098984 0.10096
gnovelty+ 2007-02-08369375SAT 0.104983 0.106622
sapsrt 2007-02-08371526SAT 0.108983 0.110859
ranov 2007-02-08423453SAT 0.229964 0.231632
SATzilla RANDOM423451SAT 5.03523 5.03939
March KS 2007-02-08371524SAT 15.8326 15.8392
KCNFS 2004426586SAT 188.607 188.598
SAT7 2007-02-08426585SAT 639.677 639.912
DEWSATZ 1A 2007-02-08426587SAT 965.476 965.722
minisat SAT 2007424786SAT 2977.62 2978.81
MXC 2007-02-08424379SAT 3461.29 3462.34
MiraXT v3426045? (TO) 5000.06 2506.83