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 benchmark1158.89
(Un)Satisfiability was proved
Number of variables7194
Number of clauses513601
Sum of the clauses size1031504
Maximum clause length13
Minimum clause length1
Number of clauses of size 1109
Number of clauses of size 2512715
Number of clauses of size 3396
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5381

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
SATzilla CRAFTED368855UNSAT 1158.89 1159.26
picosat 535456482? (TO) 5000.02 5001.61
Rsat 2007-02-08456481? (TO) 5000.05 5001.72
MXC 2007-02-08369169? (TO) 5000.07 5002.01
March KS 2007-02-08369019? (TO) 5000.09 5001.51
TTS 4.0368720? (TO) 5000.16 5001.58
MiraXT v3456483? (TO) 5000.17 2513.36
minisat SAT 2007422197? (TO) 5000.18 5001.81
CMUSAT 2007-02-08369316? (TO) 5000.21 5001.5