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 benchmark0.194969
(Un)Satisfiability was proved
Number of variables110822
Number of clauses286158
Sum of the clauses size694158
Maximum clause length3
Minimum clause length1
Number of clauses of size 113085
Number of clauses of size 2138146
Number of clauses of size 3134927
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
MXC 2007-02-08367677UNSAT 0.194969 0.207916
Siege V4422441UNSAT 0.237962 0.239631
minisat SAT 2007422062UNSAT 0.326949 0.329219
CMUSAT 2007-02-08367453UNSAT 0.331948 0.333947
TiniSatELite 2007-02-08356561UNSAT 0.332949 0.337306
Rsat 2007-02-08356560UNSAT 0.343946 0.34622
MiraXT v3460075UNSAT 0.407937 0.41072
SATzilla CRAFTED455937UNSAT 0.490924 0.492976
SAT7 2007-02-08372204UNSAT 1.3108 1.31345
picosat 535356562UNSAT 2.17067 2.17794