The International Satisfiability Modulo Theories (SMT) Competition.
Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Previous Editions
Competition results for the Arith division in the Incremental Track.
Page generated on 2022-08-10 11:18:21 +0000
Benchmarks: 11 Time Limit: 1200 seconds Memory Limit: 60 GB
Logics:| Parallel Performance |
|---|
| cvc5 |
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Unsolved | Abstained | Timeout | Memout |
|---|---|---|---|---|---|---|---|---|
| 2021-cvc5-incn | 0 | 41362 | 100.779 | 91.452 | 0 | 0 | 0 | 0 |
| cvc5 | 0 | 41362 | 226.319 | 223.584 | 0 | 0 | 0 | 0 |
| UltimateEliminator+MathSAT | 0 | 41362 | 557.756 | 367.609 | 0 | 0 | 0 | 0 |
| z3-4.8.17n | 0 | 38870 | 3611.765 | 3610.534 | 2492 | 0 | 3 | 0 |
| smtinterpol | 0 | 38112 | 1370.731 | 1255.232 | 3250 | 0 | 1 | 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.