[SMT-COMP '26] Call for Comments, Preliminary Call for Solvers

[Dominik Winterer]

======================================================================

   21st International Satisfiability Modulo Theories Competition
                           (SMT-COMP'26)

                          July 24–25, 2026
                          Lisbon, Portugal

                         CALL FOR COMMENTS
                    PRELIMINARY CALL FOR SOLVERS

======================================================================


We are pleased to announce the 2026 edition of SMT-COMP.
SMT-COMP is the annual competition among Satisfiability Modulo
Theories (SMT) solvers.

The goals of SMT-COMP'26 are to encourage scientific advances in the
power and scope of solvers, to stimulate the community to explore and
discuss shared challenges, to promote tools and their usage, to engage
and include new members of the community (in a fun environment), and to
support the SMT-LIB project in its efforts to promote and develop the
SMT-LIB format and collect and collate relevant benchmarks.

The results of SMT-COMP'26 will be announced at the SMT Workshop
(July 24–25, 2026), which is co-located with FLoC '26.    

SMT-COMP'26 is organized under the direction of the SMT Steering
committee. The organizing team for SMT-COMP'26 is:


- Dominik Winterer - University of Manchester, United Kingdom
- Martin Jonáš  - Masaryk University, Czechia
- Tomas Kolarik - Università della Svizzera italiana, Switzerland  

This is a call for three things:

CALL FOR COMMENTS:

The organizing team has prepared the schedule and preliminary rules for 2026.
To further the above goals, we propose to make several changes to the

format of SMT-COMP'26. The changes concern derived tools, their submission,

scoring and recognition, along with benchmark selection. All the changes are 
summarized in the Introduction section of the proposal of the rules:

https://smt-comp.github.io/2026/rules.pdf

Any comments you may have on these proposed changes, on how to improve
the competition, or to redirect its focus are welcome and will be
considered by the team. We particularly appreciate comments received
before May 1st, 2026.


PRELIMINARY CALL FOR SOLVERS:

The submission deadline for solvers is June 10th, 2026.  However, it is
useful to the organizing team to know in advance which and how many
solvers may be entering. If you have not submitted a solver before,
or if you think there may be unusual circumstances, we ask that
you let us know at your earliest convenience if you think you may be
submitting one or more solvers to SMT-COMP'26.


COMMUNICATION:

The competition website is at
https://smt-comp.github.io/2026/

The SMT-COMP repository is at
https://github.com/SMT-COMP/smt-comp.github.io

Public email regarding the competition may be sent to
smt-an...@googlegroups.com .

Announcements will be sent to smt-an...@googlegroups.com .


Sincerely,

The organizing team