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 benchmark3.34449
(Un)Satisfiability was proved
Number of variables2901
Number of clauses18243
Sum of the clauses size130564
Maximum clause length13
Minimum clause length1
Number of clauses of size 128
Number of clauses of size 2401
Number of clauses of size 32345
Number of clauses of size 4462
Number of clauses of size 5637
Number of clauses of size over 514370

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
CMUSAT 2007-02-08370109SAT 3.34449 3.35163
minisat SAT 2007422248SAT 3.72043 3.72352
MiraXT v3456093SAT 4.83626 2.54029
MXC 2007-02-08370108SAT 28.5107 28.5336
SATzilla CRAFTED370107SAT 75.1806 75.222
picosat 535456092SAT 194.762 194.834
Rsat 2007-02-08456091SAT 205.975 206.049
March KS 2007-02-08368904SAT 3858.64 3859.88
TTS 4.0368596? (TO) 5000.1 5001.79