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 benchmark33.021
(Un)Satisfiability was proved
Number of variables146874
Number of clauses937242
Sum of the clauses size2519136
Maximum clause length417
Minimum clause length1
Number of clauses of size 1125
Number of clauses of size 2791651
Number of clauses of size 3139269
Number of clauses of size 41522
Number of clauses of size 583
Number of clauses of size over 54592

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Rsat 2007-02-08356368UNSAT 33.021 33.0332
TiniSatELite 2007-02-08356369UNSAT 63.2484 63.2793
minisat SAT 2007422017UNSAT 263.082 263.173
picosat 535356370UNSAT 364.509 364.609
MXC 2007-02-08367640UNSAT 449.639 449.775
SATzilla CRAFTED455825UNSAT 565.739 566.155
SAT7 2007-02-08372128UNSAT 710.598 710.795
MiraXT v3460011UNSAT 1157.34 717.32
Siege V4422377UNSAT 1173.3 1173.62
CMUSAT 2007-02-08367290UNSAT 2954.8 2955.98