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

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.

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

News

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

Key dates

(see the rules for the complete timeline)

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)

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

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

Last modified: Tue 23 Oct 2018 09:42 UTC