The International Satisfiability Modulo Theories (SMT) Competition.
GitHub
Home Introduction Benchmark Submission Publications SMT-LIB Previous Editions
20 Apr 2020
The final versions of tools is available here.