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 benchmark96.3744
(Un)Satisfiability was proved
Number of variables1587
Number of clauses8013
Sum of the clauses size68223
Maximum clause length16
Minimum clause length1
Number of clauses of size 133
Number of clauses of size 2283
Number of clauses of size 31146
Number of clauses of size 4108
Number of clauses of size 5888
Number of clauses of size over 55555

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minisat SAT 2007422273UNSAT 96.3744 96.4104
CMUSAT 2007-02-08370187UNSAT 166.589 166.648
MiraXT v3456456UNSAT 518.327 260.221
MXC 2007-02-08370186UNSAT 613.236 613.583
SATzilla CRAFTED368851UNSAT 1605.84 1606.5
Rsat 2007-02-08456454UNSAT 2205.99 2206.72
March KS 2007-02-08369010? (TO) 5000.07 5001.61
picosat 535456455? (TO) 5000.08 5002.01
TTS 4.0368712? (TO) 5000.15 5001.72