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 benchmark27.1179
(Un)Satisfiability was proved
Number of variables270120
Number of clauses1250036
Sum of the clauses size2877772
Maximum clause length10
Minimum clause length1
Number of clauses of size 122595
Number of clauses of size 2979486
Number of clauses of size 3197175
Number of clauses of size 45640
Number of clauses of size 522560
Number of clauses of size over 522580

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Siege V4422311SAT 27.1179 27.1483
CMUSAT 2007-02-08367388SAT 48.3906 48.4178
MiraXT v3459945SAT 109.328 68.6524
TiniSatELite 2007-02-08356282SAT 110.489 110.554
picosat 535356283SAT 120.098 120.232
Rsat 2007-02-08355614SAT 1887.53 1887.99
SATzilla CRAFTED455759? (MO) 8391.74 8394.42
SAT7 2007-02-08370253? (TO) 10000.2 10003.4
MXC 2007-02-08367480? (TO) 10000.2 10003.6
minisat SAT 2007421870? (TO) 10000.3 10003.2