The International Satisfiability Modulo Theories (SMT) Competition.
Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Previous Editions
13 May 2020
The SMT-COMP final solver submission deadline will be extended to
May 25
This extension is reflected in the rules where necessary (e.g., the NYSE index used for the random seed will be from a later time, and the description deadline was also moved to May 25).