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 benchmark144.751
(Un)Satisfiability was proved
Number of variables65604
Number of clauses273520
Sum of the clauses size814946
Maximum clause length4
Minimum clause length1
Number of clauses of size 1199
Number of clauses of size 2118258
Number of clauses of size 342021
Number of clauses of size 4113042
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
MXC 2007-02-08367668SAT 144.751 144.93
SATzilla CRAFTED455911SAT 168.194 168.29
TiniSatELite 2007-02-08356499SAT 197.693 197.86
MiraXT v3460049SAT 278.751 140.685
minisat SAT 2007422049SAT 426.06 426.177
picosat 535356500SAT 739.193 739.405
Siege V4422415SAT 1290.37 1290.96
Rsat 2007-02-08355663SAT 1395.24 1395.82
CMUSAT 2007-02-08367299SAT 1437.71 1438.2
SAT7 2007-02-08370322SAT 2793 2794.23