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 benchmarkSAT
Best CPU time to get the best result obtained on this benchmark6.92595
(Un)Satisfiability was proved
Number of variables676
Number of clauses86424
Sum of the clauses size226590
Maximum clause length26
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 233878
Number of clauses of size 352494
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 552

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Siege V4422425SAT 6.92595 6.93175
CMUSAT 2007-02-08367438SAT 54.7477 54.767
Rsat 2007-02-08356519SAT 93.3448 93.3759
picosat 535356521SAT 100.966 101.002
MXC 2007-02-08367673SAT 214.658 214.746
minisat SAT 2007422053SAT 404.311 404.411
TiniSatELite 2007-02-08356520SAT 427.522 427.709
MiraXT v3460059SAT 574.861 289.037
SATzilla CRAFTED455921SAT 1161.81 1162.1
SAT7 2007-02-08370329SAT 1384.57 1384.95