| CARVIEW |
SMT-COMP
The International Satisfiability Modulo Theories (SMT) Competition.
Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Previous Editions
SMT-COMP 2019
RulesBenchmarks
Tools
Specs
Participants
Results
Slides
SMT-COMP 2019
The 14th International Satisfiability Modulo Theories Competition (SMT-COMP 2019) is part of the SMT Workshop 2019, affiliated with SAT 2019. The SMT Workshop will include a block of time to present the competitors and results of the competition.
News
-
07 Jul 2019 SMT-COMP 2019 results available
-
06 Jun 2019 SMT-COMP 2019 started running
-
19 Apr 2019 SMT-COMP 2019 rules draft available
-
22 Jan 2019 SMT-COMP 2019 call for comments, benchmarks, solvers
Key Dates
- March 1 Deadline for new benchmark contributions
- May 1 Final versions of competition tools
- May 19 Deadline for first versions of solvers (for all tracks)
- June 2 Deadline for final versions of solvers, including system descriptions
- July 7-8 SMT Workshop (presentation of results)
Organizers
- Liana Hadarean - Amazon, USA
- Antti Hyvarinen - Universita della Svizzera italiana, Switzerland
- Aina Niemetz (co-chair) - Stanford University, USA
- Giles Reger (co-chair) - University of Manchester, UK
SMT-COMP 2019 is organized under the direction of the SMT Steering
Committee.
The competition is run on StarExec,
a service that is hosted at the University of Iowa.
Acknowledgment
- Mathias Preiner (benchmark selection and scoring scripts)
- Aaron Stump (StarExec)
- Andres Nötzli (trace executor extension)
- Marco Gario and Andrea Micheli (pySMT)
- Martin Riener (logistics for certificates and trophies)