The International Satisfiability Modulo Theories (SMT) Competition.
Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Previous Editions
| Track | Number of Benchmarks | Status | Logics | Benchmarks |
|---|---|---|---|---|
| Single Query Track | 13994 | competitive | ALIA AUFDTLIA AUFDTLIRA AUFLIA AUFLIRA UFDTLIA UFDTLIRA UFIDL UFLIA UFLRA |
19 188 4185 1638 1683 277 3129 20 2848 7 |
| Incremental Track | 959 | competitive | ALIA UFLRA |
24 935 |
| Unsat Core Track | 23260 | competitive | AUFDTLIA AUFDTLIRA AUFLIA AUFLIRA UFDTLIA UFDTLIRA UFIDL UFLIA UFLRA |
88 4977 1289 9888 202 2863 30 3913 10 |
| Proof Exhibition Track | 23392 | competitive | ALIA AUFDTLIA AUFDTLIRA AUFLIA AUFLIRA UFDTLIA UFDTLIRA UFIDL UFLIA UFLRA |
41 88 4977 1296 9888 202 2916 57 3917 10 |
| Cloud Track | 84 | competitive | AUFDTLIRA AUFLIA AUFLIRA UFDTLIA UFDTLIRA UFLIA |
18 10 7 7 23 19 |
| Parallel Track | 84 | competitive | AUFDTLIRA AUFLIA AUFLIRA UFDTLIA UFDTLIRA UFLIA |
18 10 7 7 23 19 |