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 benchmark52.669
(Un)Satisfiability was proved
Number of variables149210
Number of clauses761906
Sum of the clauses size1988854
Maximum clause length591
Minimum clause length1
Number of clauses of size 1276
Number of clauses of size 2614506
Number of clauses of size 3141844
Number of clauses of size 41307
Number of clauses of size 5115
Number of clauses of size over 53858

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Rsat 2007-02-08356340UNSAT 52.669 52.7535
TiniSatELite 2007-02-08356341UNSAT 158.666 158.726
picosat 535356342UNSAT 312.336 312.411
MXC 2007-02-08367635UNSAT 509.223 509.384
minisat SAT 2007422012UNSAT 633.978 634.134
CMUSAT 2007-02-08367399UNSAT 974.043 974.319
SATzilla CRAFTED455814UNSAT 1224.48 1225.07
MiraXT v3460000UNSAT 1418.37 762.891
Siege V4422366UNSAT 1631.65 1632.38
SAT7 2007-02-08370298UNSAT 1808.37 1808.35