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 benchmark103.742
(Un)Satisfiability was proved
Number of variables1339
Number of clauses7095
Sum of the clauses size60253
Maximum clause length16
Minimum clause length1
Number of clauses of size 133
Number of clauses of size 2289
Number of clauses of size 31520
Number of clauses of size 4130
Number of clauses of size 5168
Number of clauses of size over 54955

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minisat SAT 2007422277UNSAT 103.742 103.771
CMUSAT 2007-02-08370195UNSAT 235.119 235.185
MiraXT v3456468UNSAT 501.71 251.646
SATzilla CRAFTED368853UNSAT 3081.25 3082.17
picosat 535456467? (TO) 5000.03 5001.61
Rsat 2007-02-08456466? (TO) 5000.04 5001.62
MXC 2007-02-08369164? (TO) 5000.05 5001.61
March KS 2007-02-08369014? (TO) 5000.06 5001.51
TTS 4.0368716? (TO) 5000.2 5002