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 benchmark21.6977
(Un)Satisfiability was proved
Number of variables93573
Number of clauses439508
Sum of the clauses size1132510
Maximum clause length403
Minimum clause length1
Number of clauses of size 1190
Number of clauses of size 2347239
Number of clauses of size 388215
Number of clauses of size 41000
Number of clauses of size 5107
Number of clauses of size over 52757

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Rsat 2007-02-08356344UNSAT 21.6977 21.7654
TiniSatELite 2007-02-08356345UNSAT 35.9555 35.9989
minisat SAT 2007422013UNSAT 85.666 85.6898
picosat 535356346UNSAT 169.807 169.858
CMUSAT 2007-02-08367400UNSAT 240.307 240.4
MiraXT v3460001UNSAT 299.999 167.999
MXC 2007-02-08367636UNSAT 323.718 323.841
SATzilla CRAFTED455815UNSAT 345.759 345.9
SAT7 2007-02-08372121UNSAT 367.517 367.625
Siege V4422367UNSAT 569.405 569.595