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 benchmarkSAT
Best CPU time to get the best result obtained on this benchmark558.765
(Un)Satisfiability was proved
Number of variables154604
Number of clauses642979
Sum of the clauses size1649491
Maximum clause length12
Minimum clause length1
Number of clauses of size 12072
Number of clauses of size 2455995
Number of clauses of size 3120756
Number of clauses of size 422914
Number of clauses of size 513049
Number of clauses of size over 528193

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
TiniSatELite 2007-02-08356611SAT 558.765 559.026
MXC 2007-02-08367687SAT 655.969 656.172
minisat SAT 2007422075SAT 795.766 796.078
MiraXT v3460131SAT 1087.38 549.788
picosat 535355977SAT 1280.28 1280.66
Rsat 2007-02-08355715SAT 3420.01 3421.01
CMUSAT 2007-02-08367351SAT 5158 5160.2
SAT7 2007-02-08370386SAT 6102.53 6104.31
SATzilla CRAFTED455993? (TO) 10000.1 10003.4
Siege V4422497? (TO) 10000.1 10002.8