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 benchmark238.128
(Un)Satisfiability was proved
Number of variables164587
Number of clauses738865
Sum of the clauses size1683290
Maximum clause length10
Minimum clause length1
Number of clauses of size 112475
Number of clauses of size 2601295
Number of clauses of size 394115
Number of clauses of size 43440
Number of clauses of size 513760
Number of clauses of size over 513780

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Siege V4422305SAT 238.128 238.222
MiraXT v3459939SAT 478.238 252.832
picosat 535356268SAT 520.252 520.47
TiniSatELite 2007-02-08355738SAT 1668.8 1670.09
Rsat 2007-02-08355612SAT 2174.6 2175.62
minisat SAT 2007421864? (MO) 4492.89 4494.19
SATzilla CRAFTED455753? (MO) 4667.11 4667.23
CMUSAT 2007-02-08367239? (MO) 7887.07 7889.3
SAT7 2007-02-08370248? (MO) 8680.91 8684.4
MXC 2007-02-08367475? (TO) 10000.2 10003.1