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 benchmark105.149
(Un)Satisfiability was proved
Number of variables311
Number of clauses2200
Sum of the clauses size9712
Maximum clause length6
Minimum clause length4
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 41352
Number of clauses of size 5784
Number of clauses of size over 564

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minisat SAT 2007422267SAT 105.149 105.178
picosat 535456299SAT 371.304 371.439
SATzilla CRAFTED368802SAT 2423.29 2424.35
CMUSAT 2007-02-08369264SAT 3720.15 3721.28
Rsat 2007-02-08456298? (TO) 5000.01 5001.51
MXC 2007-02-08369116? (TO) 5000.05 5001.41
MiraXT v3456300? (TO) 5000.05 2545.72
TTS 4.0368660? (TO) 5000.22 5002.09
March KS 2007-02-08368960Signal 138.981 139.016