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 benchmark37.9112
(Un)Satisfiability was proved
Number of variables89
Number of clauses188
Sum of the clauses size564
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3188
Number of clauses of size 40
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
TTS 4.0370024UNSAT 37.9112 37.9259
minisat SAT 2007422225UNSAT 450.472 450.614
SATzilla CRAFTED370025UNSAT 452.624 452.869
MXC 2007-02-08370027UNSAT 765.238 765.455
March KS 2007-02-08370026UNSAT 877.957 878.283
MiraXT v3455850UNSAT 2096.95 1051.45
Rsat 2007-02-08455848? (TO) 5000 5001.62
CMUSAT 2007-02-08369195? (TO) 5000.04 5001.73
picosat 535455849? (TO) 5000.1 5001.91