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 | 9493 | competitive | AUFDTNIRA AUFNIA AUFNIRA UFDTNIA UFDTNIRA UFNIA |
762 3 300 1 2149 6278 |
| Incremental Track | 2342 | competitive | ANIA AUFNIRA UFDTNIA UFNIA UFNRA |
3 165 139 2031 4 |
| Unsat Core Track | 6829 | competitive | AUFDTNIRA AUFNIA AUFNIRA UFDTNIA UFDTNIRA UFNIA |
634 3 549 1 2012 3630 |
| Proof Exhibition Track | 6829 | competitive | AUFDTNIRA AUFNIA AUFNIRA UFDTNIA UFDTNIRA UFNIA |
634 3 549 1 2012 3630 |
| Cloud Track | 83 | competitive | AUFDTNIRA AUFNIRA UFDTNIRA UFNIA |
9 38 5 31 |
| Parallel Track | 83 | competitive | AUFDTNIRA AUFNIRA UFDTNIRA UFNIA |
9 38 5 31 |