SMT-COMP 2024 Results
The processed data are available in the GitHub repository.
The raw data obtained during execution are available on Zenodo.Competition-Wide Recognitions
Largest Contribution Ranking
Biggest Lead Ranking
Tracks Summary
Divisions
- Arith
- Bitvec
- Equality
- Equality+LinearArith
- Equality+MachineArith
- Equality+NonLinearArith
- FPArith
- QF_ADT+BitVec
- QF_ADT+LinArith
- QF_Bitvec
- QF_Datatypes
- QF_Equality
- QF_Equality+Bitvec
- QF_Equality+Bitvec+Arith
- QF_Equality+LinearArith
- QF_Equality+NonLinearArith
- QF_FPArith
- QF_LinearIntArith
- QF_LinearRealArith
- QF_NonLinearIntArith
- QF_NonLinearRealArith
- QF_Strings