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 | 1961 | competitive | QF_ALIA QF_AUFLIA QF_UFDTLIRA QF_UFIDL QF_UFLIA QF_UFLRA |
116 558 146 300 300 541 |
| Incremental Track | 2031 | competitive | QF_ALIA QF_AUFLIA QF_UFLIA QF_UFLRA |
44 72 386 1529 |
| Unsat Core Track | 577 | competitive | QF_ALIA QF_AUFLIA QF_UFDTLIRA QF_UFIDL QF_UFLIA QF_UFLRA |
30 300 17 113 16 101 |
| Model Validation Track | 891 | experimental | QF_UFIDL QF_UFLRA QF_UFLIA |
206 385 300 |
| Cloud Track | 0 | competitive | ||
| Parallel Track | 0 | competitive |