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 benchmark4172.98
(Un)Satisfiability was proved
Number of variables1130
Number of clauses18089
Sum of the clauses size86030
Maximum clause length13
Minimum clause length1
Number of clauses of size 128
Number of clauses of size 21085
Number of clauses of size 38672
Number of clauses of size 4224
Number of clauses of size 5266
Number of clauses of size over 57814

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minisat SAT 2007422130UNSAT 4172.98 4174.37
MXC 2007-02-08369098UNSAT 4481.56 4483
SATzilla CRAFTED368783? 4999.34 5000.83
picosat 535456242? (TO) 5000.03 5001.61
March KS 2007-02-08368941? (TO) 5000.04 5001.41
MiraXT v3456243? (TO) 5000.04 2506.23
CMUSAT 2007-02-08369245? (TO) 5000.05 5001.94
Rsat 2007-02-08456241? (TO) 5000.07 5001.72
TTS 4.0368644? (TO) 5000.15 5001.65