The International Satisfiability Modulo Theories (SMT) Competition.
Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Previous Editions
Competition results for the Equality+NonLinearArith division in the Incremental Track.
Page generated on 2021-07-18 17:30:28 +0000
Benchmarks: 2342 Time Limit: 1200 seconds Memory Limit: 60 GB
Logics:| Parallel Performance |
|---|
| cvc5-inc |
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Unsolved | Abstained | Timeout | Memout |
|---|---|---|---|---|---|---|---|---|
| 2020-z3n | 0 | 91807 | 1416712.187 | 1417100.03 | 258565 | 0 | 1045 | 1 |
| z3n | 0 | 91660 | 1417098.686 | 1417470.534 | 258712 | 0 | 1042 | 2 |
| cvc5-inc | 0 | 60308 | 1051039.523 | 1050913.551 | 314298 | 0 | 857 | 0 |
| 2020-CVC4-incn | 0 | 56446 | 999898.53 | 999787.868 | 317414 | 0 | 819 | 0 |
| SMTInterpol | 0 | 38973 | 1367378.139 | 1351225.244 | 334887 | 0 | 1092 | 0 |
| UltimateEliminator+MathSAT | 0 | 13023 | 12769.157 | 7373.416 | 360837 | 0 | 2 | 0 |
| 2019-CVC4-incn | 0 | 3094 | 27553.964 | 27553.877 | 358 | 0 | 22 | 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.