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

07 Jul 2019 SMT-COMP 2019 results available
06 Jun 2019 SMT-COMP 2019 started running
19 Apr 2019 SMT-COMP 2019 rules draft available
22 Jan 2019 SMT-COMP 2019 call for comments, benchmarks, solvers

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

Liana Hadarean - Amazon, USA
Antti Hyvarinen - Universita della Svizzera italiana, Switzerland
Aina Niemetz (co-chair) - Stanford University, USA
Giles Reger (co-chair) - University of Manchester, UK

SMT-COMP 2019 is organized under the direction of the SMT Steering Committee.
The competition is run on StarExec, a service that is hosted at the University of Iowa.

Acknowledgment

Mathias Preiner (benchmark selection and scoring scripts)
Aaron Stump (StarExec)
Andres Nötzli (trace executor extension)
Marco Gario and Andrea Micheli (pySMT)
Martin Riener (logistics for certificates and trophies)