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 benchmark276.856
(Un)Satisfiability was proved
Number of variables217725
Number of clauses646228
Sum of the clauses size1507864
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2430818
Number of clauses of size 3215409
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
Rsat 2007-02-08356540UNSAT 276.856 276.963
CMUSAT 2007-02-08367446UNSAT 318.463 318.582
TiniSatELite 2007-02-08356541UNSAT 491.979 492.122
picosat 535356542UNSAT 602.671 602.862
MiraXT v3460067UNSAT 1291.11 652.401
SATzilla CRAFTED455929UNSAT 1961.3 1961.87
SAT7 2007-02-08370335UNSAT 2048.77 2049.27
minisat SAT 2007421931UNSAT 2851.57 2853.93
Siege V4422433UNSAT 3504.93 3504.92
MXC 2007-02-08367549UNSAT 7679.76 7682.55