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 benchmark0.976851
(Un)Satisfiability was proved
Number of variables112656
Number of clauses360099
Sum of the clauses size954283
Maximum clause length3
Minimum clause length1
Number of clauses of size 13092
Number of clauses of size 2119830
Number of clauses of size 3237177
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
MXC 2007-02-08367644UNSAT 0.976851 0.990572
minisat SAT 2007422027UNSAT 1.08183 1.08385
MiraXT v3460021UNSAT 1.10683 1.10692
Siege V4422387UNSAT 1.42478 1.4265
CMUSAT 2007-02-08367414UNSAT 1.84672 1.85225
TiniSatELite 2007-02-08356415UNSAT 2.26765 2.27103
Rsat 2007-02-08356414UNSAT 2.42363 2.42865
SATzilla CRAFTED455883UNSAT 115.758 115.794
picosat 535356416UNSAT 609.087 609.237
SAT7 2007-02-08370313UNSAT 4988.02 4989.95