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 benchmark1.14982
(Un)Satisfiability was proved
Number of variables3390
Number of clauses53225
Sum of the clauses size108346
Maximum clause length22
Minimum clause length1
Number of clauses of size 137
Number of clauses of size 252453
Number of clauses of size 393
Number of clauses of size 4610
Number of clauses of size 50
Number of clauses of size over 532

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
picosat 535456035SAT 1.14982 1.15186
minisat SAT 2007422229SAT 2.50762 2.51112
Rsat 2007-02-08456034SAT 2.51362 2.52033
MiraXT v3456036SAT 7.64284 4.12566
CMUSAT 2007-02-08370050SAT 16.4475 16.4558
MXC 2007-02-08370049SAT 43.7993 43.8265
SATzilla CRAFTED370048SAT 131.125 131.199
March KS 2007-02-08368887? (TO) 5000.09 5001.41
TTS 4.0368588? (TO) 5000.27 5001.73