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 benchmark411.6
(Un)Satisfiability was proved
Number of variables52382
Number of clauses182485
Sum of the clauses size472601
Maximum clause length131
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 285834
Number of clauses of size 387884
Number of clauses of size 47609
Number of clauses of size 5700
Number of clauses of size over 5457

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
CMUSAT 2007-02-08367395UNSAT 411.6 411.716
Siege V4422345UNSAT 633.28 633.577
TiniSatELite 2007-02-08356309UNSAT 732.592 732.875
MiraXT v3459979UNSAT 915.009 462.531
picosat 535355896UNSAT 1274.51 1274.85
Rsat 2007-02-08355641UNSAT 1427.64 1427.99
minisat SAT 2007421896UNSAT 1743.72 1744.25
SATzilla CRAFTED455793UNSAT 2163.63 2164.5
MXC 2007-02-08367506UNSAT 2625.63 2627.18
SAT7 2007-02-08370281UNSAT 4357.57 4359.03