SMT-COMP 2016

The 11th International Satisfiability Modulo Theories Competition (SMT-COMP 2016) is part of the SMT Workshop 2016, associated with IJCAR 2016. The SMT Workshop will include a block of time to present the competitors and results of the competition.

News

• 16 Feb 2016 Call for Comments issued
• 23 April 2016 Draft rules posted
• 31 May 2016 Competition jobs started
• 2 July 2016 Results presented

Key Dates

• May 1   Deadline for new benchmark contributions
• May 15   Deadline for first versions of solvers
• May 29   Deadline for final versions of solvers
• July 1-2   SMT Workshop (presentation of results)

Organizers

• Sylvain Conchon - Paris-Sud University, France
• David Déharbe - Clearsy, France and Federal University of Rio Grande do Norte, Brazil
• Matthias Heizmann - University of Freiburg, Germany (unsat core track)
• Tjark Weber - Uppsala University, Sweden (chair)

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