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.2898
(Un)Satisfiability was proved
Number of variables156980
Number of clauses696581
Sum of the clauses size1582352
Maximum clause length10
Minimum clause length1
Number of clauses of size 113310
Number of clauses of size 2570471
Number of clauses of size 382900
Number of clauses of size 43320
Number of clauses of size 513280
Number of clauses of size over 513300

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
TiniSatELite 2007-02-08356242UNSAT 21.2898 21.3245
minisat SAT 2007421991UNSAT 24.3863 24.4014
MXC 2007-02-08367615UNSAT 24.4833 24.5045
Siege V4422290UNSAT 29.4545 29.4649
Rsat 2007-02-08356241UNSAT 32.763 32.7757
CMUSAT 2007-02-08367376UNSAT 41.1607 41.1771
SAT7 2007-02-08372080UNSAT 74.2807 74.3168
picosat 535356243UNSAT 75.9145 75.9344
MiraXT v3459924UNSAT 100.85 70.9734
SATzilla CRAFTED455738UNSAT 117.171 117.239