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 benchmark15.4117
(Un)Satisfiability was proved
Number of variables1560
Number of clauses60099
Sum of the clauses size180957
Maximum clause length39
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2780
Number of clauses of size 359279
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 540

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
SATzilla CRAFTED370200UNSAT 15.4117 15.4564
minisat SAT 2007422198? (TO) 5000.04 5001.74
Rsat 2007-02-08456484? (TO) 5000.04 5002.01
March KS 2007-02-08369020? (TO) 5000.06 5001.51
MiraXT v3456486? (TO) 5000.08 2507.77
MXC 2007-02-08369170? (TO) 5000.1 5001.94
picosat 535456485? (TO) 5000.12 5001.63
TTS 4.0368721? (TO) 5000.21 5001.6
CMUSAT 2007-02-08369317? (TO) 5000.27 5003.57