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 benchmark32.916
(Un)Satisfiability was proved
Number of variables521182
Number of clauses13378625
Sum of the clauses size39204931
Maximum clause length6689
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 28714562
Number of clauses of size 34209401
Number of clauses of size 425257
Number of clauses of size 515681
Number of clauses of size over 5413723

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MXC 2007-02-08367691SAT 32.916 33.0123
minisat SAT 2007422080SAT 51.4132 51.437
Rsat 2007-02-08356627SAT 228.378 228.513
SATzilla CRAFTED456011SAT 257.515 257.69
TiniSatELite 2007-02-08356628SAT 340.417 340.709
SAT7 2007-02-08372230SAT 365.445 365.542
picosat 535356629SAT 920.645 921.12
MiraXT v3460149? 13.38 13.3677
Siege V4422515? 1243.2 1257.12
CMUSAT 2007-02-08367368? (MO) 32.2271 32.2372