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 benchmark17.1624
(Un)Satisfiability was proved
Number of variables73
Number of clauses156
Sum of the clauses size468
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3156
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.0370020UNSAT 17.1624 17.1695
March KS 2007-02-08370022UNSAT 34.4878 34.4988
minisat SAT 2007422224UNSAT 39.1101 39.1242
MXC 2007-02-08370023UNSAT 46.288 46.3207
SATzilla CRAFTED370021UNSAT 48.9576 48.9838
MiraXT v3455847UNSAT 338.69 169.827
Rsat 2007-02-08455845UNSAT 599.309 599.704
CMUSAT 2007-02-08369194UNSAT 1321.6 1321.93
picosat 535455846UNSAT 1470.21 1470.62