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 benchmark170.061
(Un)Satisfiability was proved
Number of variables29084
Number of clauses119659
Sum of the clauses size303691
Maximum clause length12
Minimum clause length1
Number of clauses of size 12072
Number of clauses of size 283935
Number of clauses of size 321996
Number of clauses of size 44194
Number of clauses of size 52369
Number of clauses of size over 55093

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
CMUSAT 2007-02-08367464UNSAT 170.061 170.105
picosat 535356615UNSAT 214.67 214.73
SATzilla CRAFTED455995UNSAT 226.354 226.456
Rsat 2007-02-08356613UNSAT 322.09 322.214
minisat SAT 2007422076UNSAT 384.609 384.741
Siege V4422499UNSAT 390.086 390.224
MXC 2007-02-08367688UNSAT 565.335 565.474
TiniSatELite 2007-02-08356614UNSAT 697.585 697.862
MiraXT v3460133UNSAT 1248.74 627.641
SAT7 2007-02-08370388UNSAT 1345.14 1345.47