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.9146
(Un)Satisfiability was proved
Number of variables192890
Number of clauses855991
Sum of the clauses size1944492
Maximum clause length10
Minimum clause length1
Number of clauses of size 116350
Number of clauses of size 2701001
Number of clauses of size 3101900
Number of clauses of size 44080
Number of clauses of size 516320
Number of clauses of size over 516340

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minisat SAT 2007421993UNSAT 74.9146 75.0453
Rsat 2007-02-08356249UNSAT 80.3408 80.4572
TiniSatELite 2007-02-08356250UNSAT 81.8376 81.8841
CMUSAT 2007-02-08367378UNSAT 83.0554 83.0813
Siege V4422292UNSAT 93.2118 93.2862
MXC 2007-02-08367617UNSAT 171.713 171.773
SATzilla CRAFTED455740UNSAT 246.566 246.665
SAT7 2007-02-08372084UNSAT 274.642 274.731
MiraXT v3459926UNSAT 323.692 211.808
picosat 535356251UNSAT 427.776 427.889