SMT-COMP 2024

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

SMT-COMP 2024

SMT-COMP 2024 Results

Competition-Wide Recognitions

Largest Contribution Ranking

Biggest Lead Ranking

Tracks Summary

Divisions