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+LinearArith

Tracks

Track Number of Benchmarks StatusLogics Benchmarks
Single Query Track 13994 competitiveALIA
AUFDTLIA
AUFDTLIRA
AUFLIA
AUFLIRA
UFDTLIA
UFDTLIRA
UFIDL
UFLIA
UFLRA
19
188
4185
1638
1683
277
3129
20
2848
7
Incremental Track 959 competitiveALIA
UFLRA
24
935
Unsat Core Track 22866 competitiveAUFDTLIA
AUFDTLIRA
AUFLIA
AUFLIRA
UFDTLIRA
UFIDL
UFLIA
UFLRA
60
4917
1245
9885
2857
30
3862
10
Proof Exhibition Track 22866 competitiveAUFDTLIA
AUFDTLIRA
AUFLIA
AUFLIRA
UFDTLIRA
UFIDL
UFLIA
UFLRA
60
4917
1245
9885
2857
30
3862
10
Cloud Track 0 competitive
Parallel Track 0 competitive