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 benchmark3.83542
(Un)Satisfiability was proved
Number of variables65
Number of clauses140
Sum of the clauses size420
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3140
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.0370032UNSAT 3.83542 3.83869
March KS 2007-02-08370034UNSAT 6.76697 6.77847
MXC 2007-02-08370035UNSAT 8.36873 8.38597
minisat SAT 2007422227UNSAT 9.26259 9.2717
MiraXT v3455856UNSAT 15.5186 7.8259
SATzilla CRAFTED370033UNSAT 19.983 20.0562
picosat 535455855UNSAT 45.747 45.7612
CMUSAT 2007-02-08370036UNSAT 54.5307 54.5474
Rsat 2007-02-08455854? (exit code) 0.011997 0.0135079