The International Satisfiability Modulo Theories (SMT) Competition.
GitHub
HomeIntroductionPapersBenchmark SubmissionRulesBenchmarksToolsSpecsParticipantsResultsSlides
Previous Competitions
SMT-LIB
19 Apr 2019
A first draft of the rules is available here.