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.08183
(Un)Satisfiability was proved
Number of variables725
Number of clauses22684
Sum of the clauses size194068
Maximum clause length11
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 219
Number of clauses of size 3197
Number of clauses of size 4381
Number of clauses of size 51017
Number of clauses of size over 521068

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
picosat 535456077UNSAT 1.08183 1.08299
minisat SAT 2007422243UNSAT 1.08183 1.11296
MiraXT v3456078UNSAT 1.09283 1.09576
CMUSAT 2007-02-08370093UNSAT 1.19282 1.19564
SATzilla CRAFTED370092UNSAT 13.5739 13.5875
Rsat 2007-02-08456076UNSAT 67.6777 67.7049
TTS 4.0370091UNSAT 225.643 225.698
March KS 2007-02-08368900? (TO) 5000.03 5001.91
MXC 2007-02-08369061? (TO) 5000.1 5002.02