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 benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1723.3
(Un)Satisfiability was proved
Number of variables2441
Number of clauses16065
Sum of the clauses size113111
Maximum clause length13
Minimum clause length1
Number of clauses of size 135
Number of clauses of size 2392
Number of clauses of size 32214
Number of clauses of size 4305
Number of clauses of size 5454
Number of clauses of size over 512665

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minisat SAT 2007422133UNSAT 1723.3 1723.88
MiraXT v3456252UNSAT 1877.75 946.993
CMUSAT 2007-02-08369248UNSAT 3894.91 3895.97
SATzilla CRAFTED368786? (exit code) 4999.09 5000.85
MXC 2007-02-08369101? (TO) 5000.03 5001.61
picosat 535456251? (TO) 5000.06 5002.01
March KS 2007-02-08368944? (TO) 5000.1 5001.51
Rsat 2007-02-08456250? (TO) 5000.1 5001.72
TTS 4.0368647? (TO) 5000.17 5001.97