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 benchmark21.5817
(Un)Satisfiability was proved
Number of variables331631
Number of clauses1586193
Sum of the clauses size3688066
Maximum clause length10
Minimum clause length1
Number of clauses of size 127559
Number of clauses of size 21201215
Number of clauses of size 3295479
Number of clauses of size 46880
Number of clauses of size 527520
Number of clauses of size over 527540

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Siege V4422303SAT 21.5817 21.6172
TiniSatELite 2007-02-08356264SAT 32.687 32.7202
CMUSAT 2007-02-08367382SAT 86.1559 86.182
MiraXT v3459937SAT 170.284 107.835
MXC 2007-02-08367620SAT 187.231 187.308
picosat 535356265SAT 191.059 191.159
SATzilla CRAFTED455751SAT 1378.99 1379.52
SAT7 2007-02-08370246SAT 2819.31 2820.51
Rsat 2007-02-08355610SAT 4247.81 4249.14
minisat SAT 2007421862? (TO) 10000.3 10003.4