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 | 9551 | competitive | ANIA AUFDTNIRA AUFNIA AUFNIRA UFDTNIA UFDTNIRA UFNIA |
56 762 3 300 2 2149 6279 |
| Incremental Track | 2342 | competitive | ANIA AUFNIRA UFDTNIA UFNIA UFNRA |
3 165 139 2031 4 |
| Unsat Core Track | 6814 | competitive | ANIA AUFDTNIRA AUFNIA AUFNIRA UFDTNIA UFDTNIRA UFNIA |
1 618 3 549 1 2022 3620 |
| Proof Exhibition Track | 4736 | competitive | ANIA AUFDTNIRA AUFNIA AUFNIRA UFDTNIA UFDTNIRA UFNIA |
1 372 3 286 1 1246 2827 |
| Cloud Track | 0 | competitive | ||
| Parallel Track | 0 | competitive |