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.341947
(Un)Satisfiability was proved
Number of variables151619
Number of clauses440151
Sum of the clauses size1138189
Maximum clause length3
Minimum clause length1
Number of clauses of size 110189
Number of clauses of size 2161886
Number of clauses of size 3268076
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-08367681UNSAT 0.341947 0.354802
minisat SAT 2007422067UNSAT 0.700892 0.703206
MiraXT v3460080UNSAT 0.747886 0.748706
Siege V4422446UNSAT 0.801877 0.803667
CMUSAT 2007-02-08367458UNSAT 1.22881 1.23052
SAT7 2007-02-08372214UNSAT 2.09268 2.09463
picosat 535356582UNSAT 3.58345 3.58628
TiniSatELite 2007-02-08356581UNSAT 5.00024 5.00993
Rsat 2007-02-08356580UNSAT 5.31119 5.32934
SATzilla CRAFTED455942UNSAT 71.0602 71.088