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 benchmark1.41578
(Un)Satisfiability was proved
Number of variables120
Number of clauses1212
Sum of the clauses size2520
Maximum clause length10
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21200
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 512

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
TTS 4.0370060UNSAT 1.41578 1.41752
March KS 2007-02-08370062UNSAT 47.1568 47.1839
CMUSAT 2007-02-08370064UNSAT 62.1166 62.1367
SATzilla CRAFTED370061UNSAT 89.9113 90.0085
MXC 2007-02-08370063UNSAT 129.321 129.385
minisat SAT 2007422233UNSAT 177.994 178.064
MiraXT v3456048UNSAT 418.643 211.262
picosat 535456047UNSAT 590.572 590.798
Rsat 2007-02-08456046? (TO) 5000.01 5003.22