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 benchmark745.056
(Un)Satisfiability was proved
Number of variables728
Number of clauses17199
Sum of the clauses size75582
Maximum clause length13
Minimum clause length1
Number of clauses of size 149
Number of clauses of size 21177
Number of clauses of size 38740
Number of clauses of size 4232
Number of clauses of size 5250
Number of clauses of size over 56751

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MXC 2007-02-08370175UNSAT 745.056 745.393
minisat SAT 2007422268UNSAT 847.019 847.427
SATzilla CRAFTED370174UNSAT 918.625 919.062
MiraXT v3456441UNSAT 3763.2 1887.46
CMUSAT 2007-02-08369311UNSAT 4474.15 4475.33
Rsat 2007-02-08456439? (TO) 5000.02 5001.41
picosat 535456440? (TO) 5000.04 5001.31
March KS 2007-02-08369005? (TO) 5000.07 5001.71
TTS 4.0368707? (TO) 5000.16 5002.09