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 benchmark67.0358
(Un)Satisfiability was proved
Number of variables161116
Number of clauses800163
Sum of the clauses size2079881
Maximum clause length591
Minimum clause length1
Number of clauses of size 1276
Number of clauses of size 2640925
Number of clauses of size 3153402
Number of clauses of size 41419
Number of clauses of size 5124
Number of clauses of size over 54017

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Rsat 2007-02-08356333UNSAT 67.0358 67.1019
TiniSatELite 2007-02-08356334UNSAT 188.013 188.465
picosat 535356335UNSAT 378.716 378.825
minisat SAT 2007422011UNSAT 853.415 853.691
SATzilla CRAFTED455812UNSAT 1331.56 1331.97
SAT7 2007-02-08370296UNSAT 1516.93 1517.46
CMUSAT 2007-02-08367283UNSAT 2337.91 2338.62
MXC 2007-02-08367520UNSAT 2594.77 2595.52
MiraXT v3459998UNSAT 2709.44 1416.52
Siege V4422364? (MO) 2642.94 2643.72