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 benchmark121.7
(Un)Satisfiability was proved
Number of variables172950
Number of clauses837466
Sum of the clauses size2168190
Maximum clause length591
Minimum clause length1
Number of clauses of size 1276
Number of clauses of size 2666462
Number of clauses of size 3164950
Number of clauses of size 41526
Number of clauses of size 5129
Number of clauses of size over 54123

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Rsat 2007-02-08356336UNSAT 121.7 121.786
TiniSatELite 2007-02-08356337UNSAT 725.638 725.875
picosat 535356338UNSAT 805.683 805.939
minisat SAT 2007421909UNSAT 1262.11 1262.55
SATzilla CRAFTED455813UNSAT 1723.11 1723.7
MXC 2007-02-08367521UNSAT 1958.74 1959.52
SAT7 2007-02-08370297UNSAT 1983.6 1984.23
MiraXT v3459999UNSAT 6041.76 3073.29
CMUSAT 2007-02-08367284UNSAT 8978.71 8981.28
Siege V4422365? (TO) 10000 10002.7