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 benchmark66.4519
(Un)Satisfiability was proved
Number of variables1610
Number of clauses8277
Sum of the clauses size69859
Maximum clause length16
Minimum clause length1
Number of clauses of size 133
Number of clauses of size 2283
Number of clauses of size 31178
Number of clauses of size 4142
Number of clauses of size 5924
Number of clauses of size over 55717

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minisat SAT 2007422274UNSAT 66.4519 66.4722
CMUSAT 2007-02-08370188UNSAT 89.1045 89.1302
MiraXT v3456459UNSAT 324.37 162.923
SATzilla CRAFTED368852UNSAT 2926.2 2927.24
MXC 2007-02-08369163UNSAT 3135.42 3136.39
Rsat 2007-02-08456457? (TO) 5000.02 5001.72
picosat 535456458? (TO) 5000.08 5001.91
TTS 4.0368713? (TO) 5000.09 5001.97
March KS 2007-02-08369011? (TO) 5000.11 5001.61