SMT-COMP 2017

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

News

• 23 Jul 2017 SMT-COMP 2017 results presented

• 20 Jun 2017 SMT-COMP 2017 competition jobs started

• 21 Apr 2017 SMT-COMP 2017 draft rules posted

• 15 Mar 2017 SMT-COMP 2017 call for comments, benchmarks, solvers

Key Dates

• May 1   Deadline for new benchmark contributions
• June 4   Deadline for first versions of solvers
• June 19   Deadline for final versions of solvers
• July 22-23   SMT Workshop (presentation of results)

Organizers

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

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