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 | 8828 | competitive | QF_BV |
8828 |
| Incremental Track | 1294 | competitive | QF_BV |
1294 |
| Unsat Core Track | 2868 | competitive | QF_BV |
2868 |
| Model Validation Track | 7268 | competitive | QF_BV |
7268 |
| Cloud Track | 16 | competitive | QF_BV |
16 |
| Parallel Track | 17 | competitive | QF_BV |
17 |