SMT-COMP

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

Home
Introduction
Rules
Benchmark submission
Previous

SMT-LIB

SMT-COMP 2019

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.

News

Key dates

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)

Organizers