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 | 15539 | competitive | ALIA AUFDTLIA AUFDTLIRA AUFLIA AUFLIRA UFDTLIA UFDTLIRA UFIDL UFLIA UFLRA |
1537 188 4185 1663 1683 278 3129 20 2849 7 |
| Incremental Track | 959 | competitive | ALIA UFLRA |
24 935 |
| Unsat Core Track | 23690 | competitive | ALIA AUFDTLIA AUFDTLIRA AUFLIA AUFLIRA UFDTLIA UFDTLIRA UFIDL UFLIA UFLRA |
401 88 4986 1296 9889 202 2873 30 3915 10 |
| Proof Exhibition Track | 12406 | competitive | ALIA AUFDTLIA AUFDTLIRA AUFLIA AUFLIRA UFDTLIA UFDTLIRA UFIDL UFLIA UFLRA |
442 88 2527 677 4946 202 1471 57 1986 10 |
| Cloud Track | 0 | competitive | ||
| Parallel Track | 0 | competitive |