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 benchmark83.0864
(Un)Satisfiability was proved
Number of variables15589
Number of clauses54263
Sum of the clauses size140423
Maximum clause length96
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 226004
Number of clauses of size 325780
Number of clauses of size 42100
Number of clauses of size 5198
Number of clauses of size over 5180

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
SATzilla CRAFTED455787UNSAT 83.0864 83.1973
CMUSAT 2007-02-08367389UNSAT 106.251 106.281
MiraXT v3459973UNSAT 108.298 54.6014
picosat 535356293UNSAT 119.169 119.224
minisat SAT 2007421999UNSAT 124.636 124.671
Siege V4422339UNSAT 191.469 191.638
Rsat 2007-02-08356291UNSAT 203.012 203.219
MXC 2007-02-08367624UNSAT 260.17 260.252
SAT7 2007-02-08372101UNSAT 448.882 449.003
TiniSatELite 2007-02-08356292UNSAT 484.479 484.658