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 benchmark1815.91
(Un)Satisfiability was proved
Number of variables183464
Number of clauses855717
Sum of the clauses size1974802
Maximum clause length10
Minimum clause length1
Number of clauses of size 115316
Number of clauses of size 2664917
Number of clauses of size 3141084
Number of clauses of size 43820
Number of clauses of size 515280
Number of clauses of size over 515300

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Rsat 2007-02-08355628UNSAT 1815.91 1816.48
Siege V4422326UNSAT 1988.75 1989.52
MXC 2007-02-08367495UNSAT 2501.15 2501.86
SATzilla CRAFTED455774UNSAT 2664.25 2665.41
picosat 535355883UNSAT 3522.63 3523.58
minisat SAT 2007421885UNSAT 5096.5 5098.06
CMUSAT 2007-02-08367255UNSAT 5120.42 5121.93
SAT7 2007-02-08370268UNSAT 6858.17 6863.53
TiniSatELite 2007-02-08355754UNSAT 8853.81 8856.73
MiraXT v3459960? (TO) 10000.4 5025.2