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 benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark68.6536
(Un)Satisfiability was proved
Number of variables21104
Number of clauses74257
Sum of the clauses size192789
Maximum clause length171
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 236142
Number of clauses of size 334380
Number of clauses of size 42745
Number of clauses of size 5538
Number of clauses of size over 5451

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
CMUSAT 2007-02-08367391UNSAT 68.6536 68.6763
Rsat 2007-02-08356296UNSAT 97.9301 98.0051
picosat 535356298UNSAT 121.14 121.17
SATzilla CRAFTED455789UNSAT 150.539 150.759
minisat SAT 2007422001UNSAT 165.758 165.812
Siege V4422341UNSAT 199.279 199.386
TiniSatELite 2007-02-08356297UNSAT 252.881 252.98
MiraXT v3459975UNSAT 280.678 141.418
MXC 2007-02-08367626UNSAT 297.04 297.133
SAT7 2007-02-08372103UNSAT 872.221 872.451