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 | 22866 | competitive | AUFDTLIA AUFDTLIRA AUFLIA AUFLIRA UFDTLIRA UFIDL UFLIA UFLRA |
60 4917 1245 9885 2857 30 3862 10 |
| Proof Exhibition Track | 22866 | competitive | AUFDTLIA AUFDTLIRA AUFLIA AUFLIRA UFDTLIRA UFIDL UFLIA UFLRA |
60 4917 1245 9885 2857 30 3862 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 |