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

SMT-COMP 2018

The 13th International Satisfiability Modulo Theories Competition (SMT-COMP 2018) is part of the SMT Workshop 2018, affiliated with FLoC 2018. The SMT Workshop will include a block of time to present the competitors and results of the competition.

News

March 16: Call for Comments issued
April 17: Draft rules posted
May 21: Final Call for Solvers issued
June 12: Competition jobs started
July 13: Results presented
July 14: FLoC Olympic Games award presentation

Key dates

(see the rules for the complete timeline)

April 8: Deadline for new benchmark contributions
May 27: Deadline for first versions of solvers
June 10: Deadline for final versions of solvers
July 12-13: SMT Workshop (presentation of results)

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

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

Last modified: Tue 26 Feb 2019 15:51 UTC