SMT-COMP 2020

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

News

• 31 Jul 2020 Competition Results Available

• 05 Jul 2020 Competition Results and Presentation July 6 at 14:30 CEST

• 29 May 2020 Benchmark List published and Jobs started.

• 26 May 2020 24 h Extension to Final Solver Deadline

• 13 May 2020 SMT-COMP Final Solver Deadline Extension

• 06 May 2020 SMT-COMP Competing Solvers

• 04 May 2020 SMT-COMP Solver registration

• 20 Apr 2020 SMT-COMP 2020 final version of tools available

• 03 Apr 2020 SMT-COMP 2020 rules draft available

Key dates

• March 1   Deadline for new benchmark contributions
• April 20   Final versions of competition tools
• May 4   Deadline for first versions of solvers (for all tracks)
• May 26   Deadline for final versions of solvers, including system descriptions
• July 5-6   SMT Workshop (presentation of results)

Organizers

• Haniel Barbosa - Universidade Federal de Minas Gerais, Brazil
• Jochen Hoenicke - Albert-Ludwigs-Universität Freiburg, Germany
• Antti Hyvarinen (chair) - Universita della Svizzera italiana, Switzerland

SMT-COMP 2020 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

• Aina Niemetz (Insights and support)
• Andres Nötzli (String benchmarks)
• Mathias Preiner (StarExec benchmark uploading, insights and support)
• Aaron Stump (StarExec)