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.
31 Jul 2020 Competition Results Available
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
SMT-COMP 2020 is organized under the direction of the SMT Steering
The competition is run on StarExec, a service that is hosted at the University of Iowa.