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

Competition Results and Presentation July 6 at 14:30 CEST

05 Jul 2020

The results of the SMT competition 2020 will be published in the results section of this site on Monday, July 6, at 14:30 Paris time at the beginning of the competition report talk.

Please join the talk in this Zoom Link.

The talk is part of the SMT Workshop.