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 | 4161 | competitive | AUFDTNIRA AUFNIA AUFNIRA UFDTNIRA UFNIA |
492 3 526 1552 1588 |
Proof Exhibition Track | 4161 | competitive | AUFDTNIRA AUFNIA AUFNIRA UFDTNIRA UFNIA |
492 3 526 1552 1588 |
Cloud Track | 0 | competitive | ||
Parallel Track | 0 | competitive |