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 benchmark1.02684
(Un)Satisfiability was proved
Number of variables179140
Number of clauses509032
Sum of the clauses size1311108
Maximum clause length3
Minimum clause length1
Number of clauses of size 121402
Number of clauses of size 2173184
Number of clauses of size 3314446
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
minisat SAT 2007422033UNSAT 1.02684 1.02733
MiraXT v3460027UNSAT 1.12983 1.13086
CMUSAT 2007-02-08367420UNSAT 1.40679 1.40815
MXC 2007-02-08367649UNSAT 3.18451 3.19938
TiniSatELite 2007-02-08356438UNSAT 3.88741 3.89699
Rsat 2007-02-08356437UNSAT 3.9184 3.92212
picosat 535356439UNSAT 6.25705 6.2714
SAT7 2007-02-08372150UNSAT 10.3644 10.3691
Siege V4422393UNSAT 38.8861 38.9029
SATzilla CRAFTED455889UNSAT 71.1312 71.1759