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 benchmark224.026
(Un)Satisfiability was proved
Number of variables1691
Number of clauses9177
Sum of the clauses size77698
Maximum clause length16
Minimum clause length1
Number of clauses of size 133
Number of clauses of size 2289
Number of clauses of size 31389
Number of clauses of size 4171
Number of clauses of size 5960
Number of clauses of size over 56335

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
CMUSAT 2007-02-08370180UNSAT 224.026 224.091
minisat SAT 2007422270UNSAT 252.809 252.883
MiraXT v3456447UNSAT 253.748 127.562
MXC 2007-02-08370179UNSAT 900.358 900.917
SATzilla CRAFTED368849UNSAT 1539.26 1539.88
picosat 535456446UNSAT 3763.01 3764.51
Rsat 2007-02-08456445UNSAT 4972.6 4974.54
March KS 2007-02-08369007? (TO) 5000.08 5001.51
TTS 4.0368709? (TO) 5000.19 5000.12