| CARVIEW |
Select Language
HTTP/2 301
server: GitHub.com
content-type: text/html
location: https://smt-comp.github.io/2024/
access-control-allow-origin: *
strict-transport-security: max-age=31556952
expires: Fri, 16 Jan 2026 00:20:44 GMT
cache-control: max-age=600
x-proxy-cache: MISS
x-github-request-id: 50EB:11A3DF:896A:C91B:69698204
accept-ranges: bytes
age: 0
date: Fri, 16 Jan 2026 00:10:44 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210076-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1768522244.030504,VS0,VE223
vary: Accept-Encoding
x-fastly-request-id: 1edbbfde9c682f3ad7c37c96bd714866acef0835
content-length: 162
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Thu, 14 Aug 2025 11:15:48 GMT
access-control-allow-origin: *
strict-transport-security: max-age=31556952
etag: W/"689dc564-f5a"
expires: Fri, 16 Jan 2026 00:20:44 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: D9F2:3AFDEE:80C8:C020:696981FA
accept-ranges: bytes
age: 0
date: Fri, 16 Jan 2026 00:10:44 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210076-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1768522244.266638,VS0,VE217
vary: Accept-Encoding
x-fastly-request-id: 344886650fc631445f3fa6d164caac5d53709dbe
content-length: 1743
SMT-COMP 2024
SMT-COMP 2024
The International Satisfiability Modulo Theories (SMT) Competition.
SMT-COMP 2024
SMT-COMP 2024
The 19th International Satisfiability Modulo Theories Competition (SMT-COMP 2024) is part of the SMT Workshop 2024, affiliated with CAV-36. The SMT Workshop will include a block of time to present the competitors and results of the competition.
Key dates
- April 13 Deadline for new benchmark contributions
- May 11 Final versions of competition tools (used by the organizers to run the participating solvers)
- May 27 Deadline for first versions of participating solvers (for all tracks), including preliminary system descriptions
- June 8 Deadline for final versions of participating solvers, including final system descriptions
- July 22–23 SMT Workshop (presentation of results)
Organizers
- Martin Bromberger (chair) - MPI für Informatik, Germany
- François Bobot - CEA List, France
- Martin Jonáš - Masaryk University, Czechia
SMT-COMP 2024 is organized under the direction of the SMT Steering Committee.
Acknowledgment
- Dirk Beyer (VerifierCloud)
- Aaron Stump (StarExec)
- Clark Barrett, Pascal Fontaine, Aina Niemetz, Mathias Preiner, and Hans-Jörg Schurr (smt-lib maintenance)
- Robert Jones and Benjamin F Jones (Cloud and Parallel Tracks AWS Support)