The International Satisfiability Modulo Theories (SMT) Competition.
The list of participants of SMT-COMP 2025 is final. We are happy to have received so many solvers and we are looking forward to the results.
New York Stock Exchange index on the date after the submission deadline (i.e, 2025-06-30) was 20338.41, resulting in a competition seed of 2033841 + 755033430 = 757067271.