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 benchmarkSAT
Best CPU time to get the best result obtained on this benchmark3.41648
(Un)Satisfiability was proved
Number of variables1497
Number of clauses73374
Sum of the clauses size615277
Maximum clause length11
Minimum clause length1
Number of clauses of size 16
Number of clauses of size 242
Number of clauses of size 3337
Number of clauses of size 4413
Number of clauses of size 53127
Number of clauses of size over 569449

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
picosat 535456056SAT 3.41648 3.43117
MXC 2007-02-08370072SAT 5.66414 5.68444
minisat SAT 2007422236SAT 7.63584 7.64093
MiraXT v3456057SAT 7.74582 7.75254
Rsat 2007-02-08456055SAT 11.2153 11.2255
SATzilla CRAFTED370071SAT 26.7789 26.8953
CMUSAT 2007-02-08370073SAT 27.0939 27.1037
TTS 4.0368591? (MO) 3301.86 3302.79
March KS 2007-02-08368893? (TO) 5000.04 5001.52