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

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.

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

News

March 15: Call for Comments issued
April 21: Draft rules posted
June 20: Competition jobs started
July 23: Results presented

Key dates

(see the rules for the complete timeline)

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)

The organizers of SMT-COMP 2017 are Matthias Heizmann, Giles Reger, and Tjark Weber.

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

Last modified: Tue 12 Jun 2018 12:25 UTC