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 benchmark21.6577
(Un)Satisfiability was proved
Number of variables271
Number of clauses1972
Sum of the clauses size8840
Maximum clause length6
Minimum clause length4
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 41120
Number of clauses of size 5752
Number of clauses of size over 5100

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minisat SAT 2007422259SAT 21.6577 21.6675
MiraXT v3456126SAT 35.2096 17.6789
CMUSAT 2007-02-08370145SAT 47.9127 47.9282
MXC 2007-02-08370144SAT 199.689 199.756
picosat 535456125SAT 335.166 335.259
Rsat 2007-02-08456124SAT 463.651 464.027
SATzilla CRAFTED370143SAT 532.99 533.163
TTS 4.0368607? (TO) 5000.28 5001.7
March KS 2007-02-08368908Signal 24.7472 24.7575