SMT-COMP

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Previous Editions

SMT-COMP 2022

Rules
Benchmarks
Tools
Specs
Proof Exhibition Track
Parallel & Cloud Tracks
Participants
Results
Statistics
Comparisons
Slides

Equality

Tracks

Track Number of Benchmarks StatusLogics Benchmarks
Single Query Track 4407 competitiveUF
UFDT
2857
1550
Incremental Track 2033 competitiveUF
2033
Unsat Core Track 2628 competitiveUF
UFDT
1697
931
Proof Exhibition Track 2628 competitiveUF
UFDT
1697
931
Cloud Track 79 competitiveUF
UFDT
41
38
Parallel Track 79 competitiveUF
UFDT
41
38