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 benchmark98.1241
(Un)Satisfiability was proved
Number of variables2270929
Number of clauses8901946
Sum of the clauses size22176046
Maximum clause length865
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 26786479
Number of clauses of size 31496293
Number of clauses of size 414719
Number of clauses of size 5555520
Number of clauses of size over 548934

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MXC 2007-02-08367676UNSAT 98.1241 98.1648
picosat 535356556UNSAT 156.148 156.222
CMUSAT 2007-02-08367451UNSAT 170.817 170.861
minisat SAT 2007422061UNSAT 205.153 205.213
Rsat 2007-02-08356554UNSAT 291.486 291.603
SATzilla CRAFTED455935UNSAT 304.904 305.12
TiniSatELite 2007-02-08356555UNSAT 867.721 868.512
SAT7 2007-02-08370339UNSAT 1888.07 1888.78
Siege V4422439? 0.004999 0.00727504
MiraXT v3460073? 10.6454 10.3264