SAT 2007 Competition Phase 2: solvers results per benchmarks

Result page for benchmark

Jump to solvers results

General information on the benchmark

Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.51977
(Un)Satisfiability was proved
Number of variables4940
Number of clauses93221
Sum of the clauses size189296
Maximum clause length26
Minimum clause length1
Number of clauses of size 143
Number of clauses of size 292101
Number of clauses of size 3113
Number of clauses of size 4924
Number of clauses of size 50
Number of clauses of size over 540

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Rsat 2007-02-08456043SAT 1.51977 1.5273
picosat 535456044SAT 3.69244 3.75946
minisat SAT 2007422232SAT 36.5034 36.5143
SATzilla CRAFTED370058SAT 44.1713 44.2702
MiraXT v3456045SAT 142.565 72.1736
MXC 2007-02-08370059SAT 185.809 185.893
March KS 2007-02-08368890? (TO) 5000.13 5002.05
CMUSAT 2007-02-08369207? (TO) 5000.13 5002.27
TTS 4.0368590? (TO) 5000.21 5000.03