SMT-COMP

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Competitions by Year

SMT-COMP 2020

Rules
Benchmarks
Tools
Specs
Participants
Results
Slides

SMT-COMP 2020 Results

Competition-Wide Recognitions

Largest Contribution Ranking

Biggest Lead Ranking

Tracks Summary

Disagreements

Solvers disagreed on some benchmarks marked as unknown in the following tracks and divisions.

Divisions