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 benchmark1.78173
(Un)Satisfiability was proved
Number of variables236486
Number of clauses673711
Sum of the clauses size1747780
Maximum clause length3
Minimum clause length1
Number of clauses of size 128243
Number of clauses of size 2216867
Number of clauses of size 3428601
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minisat SAT 2007422029UNSAT 1.78173 1.78429
MiraXT v3460023UNSAT 1.9317 1.94625
MXC 2007-02-08367645UNSAT 2.23466 2.24989
CMUSAT 2007-02-08367416UNSAT 2.95655 2.96159
SAT7 2007-02-08372142UNSAT 5.21121 5.21829
TiniSatELite 2007-02-08356422UNSAT 7.85381 7.86031
Rsat 2007-02-08356421UNSAT 7.8728 7.88587
picosat 535356423UNSAT 34.4118 34.4218
SATzilla CRAFTED455885UNSAT 72.279 72.3713
Siege V4422389UNSAT 99.1639 99.2461