The International Satisfiability Modulo Theories (SMT) Competition.
GitHub
Home Introduction Benchmark Submission Publications SMT-LIB Previous Editions
21 Apr 2017
A first draft of the rules is available here.