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 benchmark74.8796
(Un)Satisfiability was proved
Number of variables178708
Number of clauses806681
Sum of the clauses size1842626
Maximum clause length10
Minimum clause length1
Number of clauses of size 115072
Number of clauses of size 2648853
Number of clauses of size 3108896
Number of clauses of size 43760
Number of clauses of size 515040
Number of clauses of size over 515060

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Rsat 2007-02-08356257UNSAT 74.8796 74.9141
Siege V4422294UNSAT 81.7796 81.8178
TiniSatELite 2007-02-08356258UNSAT 88.6435 88.724
minisat SAT 2007421995UNSAT 97.9341 98.0945
MXC 2007-02-08367619UNSAT 137.703 137.754
MiraXT v3459928UNSAT 156.56 94.3674
CMUSAT 2007-02-08367380UNSAT 157.128 157.187
SATzilla CRAFTED455742UNSAT 187.186 187.25
SAT7 2007-02-08372088UNSAT 196.905 196.984
picosat 535356259UNSAT 200.444 200.495