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 benchmark149.063
(Un)Satisfiability was proved
Number of variables108786
Number of clauses482639
Sum of the clauses size1096328
Maximum clause length10
Minimum clause length1
Number of clauses of size 19230
Number of clauses of size 2395289
Number of clauses of size 357400
Number of clauses of size 42300
Number of clauses of size 59200
Number of clauses of size over 59220

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Siege V4422293UNSAT 149.063 149.291
minisat SAT 2007421994UNSAT 180.834 180.991
Rsat 2007-02-08356253UNSAT 185.746 185.822
SATzilla CRAFTED455741UNSAT 194.883 194.97
picosat 535356255UNSAT 293.862 293.943
TiniSatELite 2007-02-08356254UNSAT 300.384 300.6
CMUSAT 2007-02-08367379UNSAT 301.425 301.578
MXC 2007-02-08367618UNSAT 317.644 317.743
SAT7 2007-02-08372086UNSAT 447.254 447.398
MiraXT v3459927UNSAT 650.713 339.827