SMT-COMP 2015

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

News

• 8 Feb 2015 Call for Comments issued
• 11 May 2015 Revised rules posted
• 15 June 2015 Competition jobs started
• 19 July 2015 Results presented

Key Dates

• May 1 2015   Deadline for new benchmark contributions
• June 1 2015   Deadline for first versions of solvers
• June 14 2015   Deadline for final versions of solvers
• July 18-19 2015   SMT Workshop (presentation of results)

Organizers

• Sylvain Conchon - Paris-Sud University, France
• David Déharbe - Federal University of Rio Grande do Norte, Brazil
• Tjark Weber - Uppsala University, Sweden (chair)

The competition uses the StarExec service, which is hosted at the University of Iowa.