Home	•	Rules	•	Benchmarks	•	Tools	•	Specs	•	Participants	•	Results	•	SMT-LIB	•	Previous

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.

Introduction
Competition rules and timeline
Benchmarks
Tools
Machine specifications
Participants
Results
Mailing list
Papers
Acknowledgments
SMT-LIB
Previous SMT-COMPs

News

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

Key dates

(see the rules for the complete timeline)

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

The organizers of SMT-COMP 2015 are Sylvain Conchon, David Déharbe, and Tjark Weber.

Home	•	Rules	•	Benchmarks	•	Tools	•	Specs	•	Participants	•	Results	•	SMT-LIB	•	Previous

Last modified: Fri 20 May 2016 11:13 UTC