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 benchmark542.475
(Un)Satisfiability was proved
Number of variables3189
Number of clauses11039
Sum of the clauses size28509
Maximum clause length25
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 25404
Number of clauses of size 35107
Number of clauses of size 4389
Number of clauses of size 586
Number of clauses of size over 552

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
CMUSAT 2007-02-08367390UNSAT 542.475 542.642
minisat SAT 2007422000UNSAT 868.01 868.263
MXC 2007-02-08367625UNSAT 1020.98 1021.37
SAT7 2007-02-08370280UNSAT 1622.6 1623.08
Siege V4422340UNSAT 1860.76 1861.44
MiraXT v3459974UNSAT 1985.81 995.631
Rsat 2007-02-08355640UNSAT 2101.84 2102.57
picosat 535355895UNSAT 2297.73 2298.51
TiniSatELite 2007-02-08355766UNSAT 3854.48 3855.48
SATzilla CRAFTED455788? (exit code) 9998.31 10001.3