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 | 825 | competitive | QF_LRA QF_RDL |
578 247 |
Incremental Track | 10 | competitive | QF_LRA |
10 |
Unsat Core Track | 196 | competitive | QF_LRA |
196 |
Model Validation Track | 582 | competitive | QF_LRA QF_RDL |
473 109 |
Proof Exhibition Track | 196 | competitive | QF_LRA |
196 |
Cloud Track | 0 | competitive | ||
Parallel Track | 0 | competitive |