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 benchmark161.061
(Un)Satisfiability was proved
Number of variables66892
Number of clauses279240
Sum of the clauses size832616
Maximum clause length4
Minimum clause length1
Number of clauses of size 1201
Number of clauses of size 2120480
Number of clauses of size 342781
Number of clauses of size 4115778
Number of clauses of size 50
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MXC 2007-02-08367661SAT 161.061 161.134
SAT7 2007-02-08372172SAT 162.202 162.268
MiraXT v3460042SAT 340.678 171.746
minisat SAT 2007422044SAT 492.614 492.797
Rsat 2007-02-08356479SAT 691.123 691.448
picosat 535356480SAT 992.856 993.179
SATzilla CRAFTED455904SAT 1358.27 1358.64
CMUSAT 2007-02-08367295SAT 2707.2 2707.19
Siege V4422408SAT 3542.89 3543.93
TiniSatELite 2007-02-08355789SAT 6853.36 6856.02