The International Satisfiability Modulo Theories (SMT) Competition.
Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Previous Editions
Competition results for the AUFLIRA division in the Unsat Core Track.
Page generated on 2020-07-04 11:49:32 +0000
Benchmarks: 7908 Time Limit: 1200 seconds Memory Limit: 60 GB
| Sequential Performance | Parallel Performance |
|---|---|
| CVC4-uc | CVC4-uc |
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Abstained | Timeout | Memout |
|---|---|---|---|---|---|---|---|
| z3n | 0 | 142486 | 8009.126 | 8011.024 | 2 | 2 | |
| CVC4-uc | 0 | 142347 | 49840.36 | 49848.032 | 41 | 0 | |
| SMTInterpol | 0 | 120065 | 425388.723 | 422775.926 | 345 | 0 | |
| SMTInterpol-fixedn | 0 | 120065 | 425393.475 | 422118.316 | 344 | 0 | |
| UltimateEliminator+MathSAT | 0 | 0 | 85069.838 | 72455.643 | 42 | 0 |
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Abstained | Timeout | Memout |
|---|---|---|---|---|---|---|---|
| z3n | 0 | 142486 | 8009.376 | 8010.974 | 2 | 2 | |
| CVC4-uc | 0 | 142347 | 49847.08 | 49846.492 | 41 | 0 | |
| SMTInterpol-fixedn | 0 | 120065 | 446317.495 | 415463.492 | 327 | 0 | |
| SMTInterpol | 0 | 120065 | 444228.353 | 417250.119 | 330 | 0 | |
| UltimateEliminator+MathSAT | 0 | 0 | 87175.138 | 71554.907 | 40 | 0 |
n Non-competing.
Abstained: Total of benchmarks in logics in this division that solver chose to abstain from. For SAT/UNSAT scores, this column also includes benchmarks not known to be SAT/UNSAT.