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 benchmark71.0892
(Un)Satisfiability was proved
Number of variables1477
Number of clauses7809
Sum of the clauses size65959
Maximum clause length16
Minimum clause length1
Number of clauses of size 133
Number of clauses of size 2289
Number of clauses of size 31172
Number of clauses of size 4124
Number of clauses of size 5894
Number of clauses of size over 55297

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minisat SAT 2007422271UNSAT 71.0892 71.1102
CMUSAT 2007-02-08370182UNSAT 182.18 182.236
MXC 2007-02-08370181UNSAT 324.898 325.036
MiraXT v3456450UNSAT 400.891 201.407
SATzilla CRAFTED368850UNSAT 1268.79 1269.35
picosat 535456449UNSAT 1791.12 1791.6
Rsat 2007-02-08456448UNSAT 2371.15 2371.99
March KS 2007-02-08369008? (TO) 5000.07 5001.61
TTS 4.0368710? (TO) 5000.15 5002.27