The International Satisfiability Modulo Theories (SMT) Competition.
Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Previous Editions
Competition results for the Equality+LinearArith division in the Incremental Track.
Page generated on 2021-07-18 17:30:28 +0000
Benchmarks: 959 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 |
|---|---|---|---|---|---|---|---|---|
| z3n | 0 | 559428 | 154566.962 | 154340.669 | 236989 | 0 | 63 | 0 |
| 2020-z3n | 0 | 558345 | 154812.845 | 154662.365 | 238072 | 0 | 64 | 0 |
| 2019-Z3n | 0 | 358440 | 151094.059 | 150877.017 | 235425 | 0 | 57 | 0 |
| cvc5-inc | 0 | 339406 | 45186.669 | 44994.149 | 457011 | 0 | 20 | 0 |
| SMTInterpol | 0 | 331721 | 378737.828 | 371628.349 | 464696 | 0 | 224 | 0 |
| UltimateEliminator+MathSAT | 0 | 187825 | 14707.587 | 11363.777 | 608592 | 0 | 3 | 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.