SMT-COMP 2018

The 13th International Satisfiability Modulo Theories Competition (SMT-COMP 2018) is part of the SMT Workshop 2018, affiliated with FLoC 2018. The SMT Workshop will include a block of time to present the competitors and results of the competition.

News

• 14 Jul 2018 SMT-COMP 2018 FLoC Olympic Games award presentation

• 13 Jul 2018 SMT-COMP 2018 results presented

• 12 Jun 2018 SMT-COMP 2018 competition jobs started

• 21 May 2018 SMT-COMP 2018 finall call for solvers issued

• 17 Apr 2018 SMT-COMP 2018 draft rules posted

• 16 Mar 2018 SMT-COMP 2018 call for comments, benchmarks, solvers

Key Dates

• April 8   Deadline for new benchmark contributions
• May 19   Deadline for first versions of solvers
• June 10   Deadline for final versions of solvers
• July 12-13   SMT Workshop (presentation of results)

Organizers

• Matthias Heizmann - Universität Freiburg, Germany
• Aina Niemetz - Stanford University, USA
• Giles Reger - University of Manchester, UK
• Tjark Weber (chair) - Uppsala University, Sweden

SMT-COMP 2018 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.