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 |