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 benchmark1440.96
(Un)Satisfiability was proved
Number of variables33582
Number of clauses160817
Sum of the clauses size423605
Maximum clause length4200
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2136464
Number of clauses of size 36536
Number of clauses of size 46374
Number of clauses of size 52328
Number of clauses of size over 59114

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
CMUSAT 2007-02-08367266UNSAT 1440.96 1441.38
MiraXT v3459971UNSAT 1469.49 749.882
minisat SAT 2007421895UNSAT 3805.13 3806.28
Rsat 2007-02-08355639UNSAT 4896.68 4898.47
picosat 535355894UNSAT 5634.52 5636.6
Siege V4422337UNSAT 7097.35 7099.28
TiniSatELite 2007-02-08355765? (TO) 10000 10006
SATzilla CRAFTED455785? (TO) 10000.1 10004.2
SAT7 2007-02-08370279? (TO) 10000.1 10003.5
MXC 2007-02-08367505? (TO) 10000.1 10003.8