The International Satisfiability Modulo Theories (SMT) Competition.
The results of SMT-COMP 2025 are available on the website. Congratulations to all the winners!
Processed data for each benchmark and solver are available in the GitHub repository. The raw execution data and the scrambled benchmarks will be uploaded to Zenodo in a few days. Stay tuned.