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.7417
(Un)Satisfiability was proved
Number of variables133925
Number of clauses453174
Sum of the clauses size1093412
Maximum clause length61
Minimum clause length1
Number of clauses of size 130
Number of clauses of size 2321019
Number of clauses of size 3129220
Number of clauses of size 4192
Number of clauses of size 586
Number of clauses of size over 52627

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
picosat 535356364SAT 21.7417 21.7635
Rsat 2007-02-08356362SAT 24.4583 24.5154
TiniSatELite 2007-02-08356363SAT 56.3934 56.445
Siege V4422375SAT 1014.44 1014.73
MXC 2007-02-08367526SAT 1847.65 1848.15
SATzilla CRAFTED455823? (TO) 10000 10003.1
minisat SAT 2007421914? (TO) 10000.1 10003.1
SAT7 2007-02-08370303? (TO) 10000.1 10003.4
CMUSAT 2007-02-08367288? (TO) 10000.1 10002.9
MiraXT v3460009? (TO) 10000.2 5024.08