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 benchmark786.482
(Un)Satisfiability was proved
Number of variables1075
Number of clauses7545
Sum of the clauses size30180
Maximum clause length4
Minimum clause length4
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 47545
Number of clauses of size 50
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MXC 2007-02-08370229UNSAT 786.482 786.887
minisat SAT 2007422285UNSAT 801.463 801.867
SATzilla CRAFTED368871UNSAT 1254.27 1254.61
MiraXT v3456555UNSAT 3443.39 1726.41
Rsat 2007-02-08456553? (TO) 5000.02 5001.62
CMUSAT 2007-02-08369336? (TO) 5000.05 5001.63
picosat 535456554? (TO) 5000.05 5002.11
TTS 4.0368737? (TO) 5000.06 5001.65
March KS 2007-02-08369037? (TO) 5000.11 5002.02