SMT-COMP

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Competitions by Year

SMT-COMP 2020

Rules
Benchmarks
Tools
Specs
Participants
Results
Slides

SMT-COMP Final Solver Deadline Extension

13 May 2020

The SMT-COMP final solver submission deadline will be extended to

May 25

This extension is reflected in the rules where necessary (e.g., the NYSE index used for the random seed will be from a later time, and the description deadline was also moved to May 25).