The International Satisfiability Modulo Theories (SMT) Competition.
The 14th International Satisfiability Modulo Theories Competition (SMT-COMP 2019) is part of the SMT Workshop 2019, affiliated with SAT 2019. The SMT Workshop will include a block of time to present the competitors and results of the competition.
22 Jan 2019 SMT-COMP 2019 call for comments, benchmarks, solvers
19 Apr 2019 SMT-COMP 2019 Rules draft available
March 1 Deadline for new benchmark contributions
May 1 Final versions of competition tools
May 19 Deadline for first versions of solvers (for all tracks)
June 2 Deadline for final versions of solvers, including system descriptions
July 7-8 SMT Workshop (presentation of results)