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 | 17873 | competitive | ALIA AUFDTLIA AUFDTLIRA AUFLIA AUFLIRA UFDTLIA UFDTLIRA UFIDL UFLIA UFLRA |
19 147 6069 1638 1683 277 5165 20 2848 7 |
| Incremental Track | 959 | competitive | ALIA UFLRA |
24 935 |
| Unsat Core Track | 24477 | competitive | AUFDTLIRA AUFLIA AUFLIRA UFDTLIRA UFIDL UFLIA UFLRA |
5385 1245 9885 4060 30 3862 10 |
| Cloud Track | 107 | competitive | AUFDTLIRA AUFLIA AUFLIRA UFDTLIA UFDTLIRA UFIDL UFLIA UFLRA |
16 16 16 16 16 9 16 2 |
| Parallel Track | 113 | competitive | AUFDTLIRA AUFLIA AUFLIRA UFDTLIA UFDTLIRA UFIDL UFLIA UFLRA |
17 17 17 17 17 9 17 2 |