SMT-COMP 2025

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

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

Feb 25, 2025Call for Comments, Call for Benchmarks, Preliminary Call for Solvers
Feb 4, 2025Website is online!

Key dates

Organizers

SMT-COMP 2025 is organized under the direction of the SMT Steering Committee.

Acknowledgment