The International Satisfiability Modulo Theories (SMT) Competition.
Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Previous Editions
31 Jul 2020
The results of the SMT competition 2020 are available from this link (also accessible through the Results link in the navigation panel).