SAT 2007 Competition Phase 2: solvers results per benchmarks

Result page for benchmark

Jump to solvers results

General information on the benchmark

Bench CategoryINDUST (industrial instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark19.0121
(Un)Satisfiability was proved
Number of variables181082
Number of clauses824258
Sum of the clauses size1887794
Maximum clause length10
Minimum clause length1
Number of clauses of size 115233
Number of clauses of size 2657174
Number of clauses of size 3117631
Number of clauses of size 43800
Number of clauses of size 515200
Number of clauses of size over 515220

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
TiniSatELite 2007-02-08356276SAT 19.0121 19.0343
Siege V4422308SAT 22.1706 22.2342
picosat 535356277SAT 27.8788 27.9114
Rsat 2007-02-08356275SAT 44.8152 44.8488
MiraXT v3459942SAT 80.8057 57.4768
SAT7 2007-02-08372096SAT 383.912 384.217
CMUSAT 2007-02-08367386SAT 590.049 590.27
MXC 2007-02-08367621SAT 999.612 999.938
SATzilla CRAFTED455756SAT 1008.84 1009.35
minisat SAT 2007421867SAT 6804.33 6807.1