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 benchmark41.0628
(Un)Satisfiability was proved
Number of variables48689
Number of clauses204067
Sum of the clauses size609421
Maximum clause length4
Minimum clause length1
Number of clauses of size 1187
Number of clauses of size 284694
Number of clauses of size 336898
Number of clauses of size 482288
Number of clauses of size 50
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Rsat 2007-02-08356471SAT 41.0628 41.1398
SATzilla CRAFTED455902SAT 62.8524 62.8982
MiraXT v3460040SAT 76.4334 39.0548
CMUSAT 2007-02-08367429SAT 143.765 143.808
MXC 2007-02-08367659SAT 261.775 261.862
picosat 535356473SAT 326.636 326.734
Siege V4422406SAT 651.39 651.569
TiniSatELite 2007-02-08356472SAT 809.234 809.48
minisat SAT 2007421919SAT 1637.21 1637.67
SAT7 2007-02-08370318SAT 2002.97 2003.47