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

Feb 25, 2025 – Call for Comments, Call for Benchmarks, Preliminary Call for Solvers
Feb 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)