| CARVIEW |
Select Language
HTTP/2 301
server: GitHub.com
content-type: text/html
location: https://smt-comp.github.io/2025/
access-control-allow-origin: *
strict-transport-security: max-age=31556952
expires: Fri, 16 Jan 2026 00:20:42 GMT
cache-control: max-age=600
x-proxy-cache: MISS
x-github-request-id: B014:3AFDEE:80B5:C008:69698200
accept-ranges: bytes
age: 0
date: Fri, 16 Jan 2026 00:10:42 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210048-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1768522242.959394,VS0,VE213
vary: Accept-Encoding
x-fastly-request-id: 3c4c9c7ba34f54ac869e28e12d4d88ab48cafa62
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-1197"
expires: Fri, 16 Jan 2026 00:20:42 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: A3DB:3FC3A2:82E5:C29B:696981FF
accept-ranges: bytes
age: 0
date: Fri, 16 Jan 2026 00:10:42 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210048-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1768522242.185969,VS0,VE221
vary: Accept-Encoding
x-fastly-request-id: 54c161137a5dee21dc98c0043b64d75052fa810a
content-length: 1854
SMT-COMP 2025
SMT-COMP 2025
The International Satisfiability Modulo Theories (SMT) Competition.
SMT-COMP 2025
SMT-COMP 2025
The 20th International Satisfiability Modulo Theories Competition (SMT-COMP 2025) is part of the SMT Workshop 2025, affiliated with SAT-25. The SMT Workshop will include a block of time to present the competitors and results of the competition.
News
Aug 11, 2025 – Results are available!Jul 4, 2025 – List of participants is finalMay 27, 2025 – Final Call for SolversFeb 25, 2025 – Call for Comments, Call for Benchmarks, Preliminary Call for SolversFeb 4, 2025 – Website is online!Key dates
- April 12 Deadline for new benchmark contributions
- May 31 Final versions of competition tools (used by the organizers to run the participating solvers)
- June 13 Deadline for first versions of participating solvers (for all tracks), including preliminary system descriptions
- June 27 Deadline for final versions of participating solvers, including final system descriptions
- August 10–11 SMT Workshop (presentation of results)
Organizers
- Martin Jonáš (chair) - Masaryk University, Czechia
- François Bobot - CEA List, France
- David Déharbe - CLEARSY, France
- Dominik Winterer - ETH Zurich, Switzerland
SMT-COMP 2025 is organized under the direction of the SMT Steering Committee.
Acknowledgment
- Dirk Beyer (BenchCloud instance at LMU)
- Clark Barrett, Pascal Fontaine, Aina Niemetz, Mathias Preiner, and Hans-Jörg Schurr (smt-lib maintenance)