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 benchmark178.624
(Un)Satisfiability was proved
Number of variables46335
Number of clauses632886
Sum of the clauses size1813066
Maximum clause length36174
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2579116
Number of clauses of size 315779
Number of clauses of size 4960
Number of clauses of size 5277
Number of clauses of size over 536753

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
CMUSAT 2007-02-08367392UNSAT 178.624 178.683
picosat 535356302UNSAT 288.172 288.3
Rsat 2007-02-08356300UNSAT 319.383 320.018
MiraXT v3459976UNSAT 423.39 217.52
minisat SAT 2007422002UNSAT 448.958 449.099
MXC 2007-02-08367627UNSAT 491.725 491.727
TiniSatELite 2007-02-08356301UNSAT 839.581 839.853
SAT7 2007-02-08372105UNSAT 871.19 871.447
Siege V4422342UNSAT 1177.78 1178.09
SATzilla CRAFTED455790? (TO) 10000.1 10003.3