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 benchmark112.6
(Un)Satisfiability was proved
Number of variables298
Number of clauses2176
Sum of the clauses size9824
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 41312
Number of clauses of size 5608
Number of clauses of size over 5256

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
SATzilla CRAFTED370220SAT 112.6 112.64
minisat SAT 2007422283SAT 173.067 173.114
CMUSAT 2007-02-08370221SAT 784.687 785.208
MiraXT v3456540SAT 792.106 397.098
picosat 535456539SAT 881.204 881.467
Rsat 2007-02-08456538? (TO) 5000.04 5001.62
March KS 2007-02-08369033? (TO) 5000.09 5001.62
MXC 2007-02-08369186? (TO) 5000.1 5001.43
TTS 4.0368733? (TO) 5000.18 5002.44