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

QF_Equality+LinearArith

Tracks

Track Number of Benchmarks StatusLogics Benchmarks
Single Query Track 1805 competitiveQF_ALIA
QF_AUFLIA
QF_UFDTLIRA
QF_UFIDL
QF_UFLIA
QF_UFLRA
116
539
9
300
300
541
Incremental Track 2031 competitiveQF_ALIA
QF_AUFLIA
QF_UFLIA
QF_UFLRA
44
72
386
1529
Unsat Core Track 577 competitiveQF_ALIA
QF_AUFLIA
QF_UFDTLIRA
QF_UFIDL
QF_UFLIA
QF_UFLRA
30
300
17
113
16
101
Model Validation Track 891 competitiveQF_UFIDL
QF_UFLIA
QF_UFLRA
206
300
385
Proof Exhibition Track 1301 competitiveQF_ALIA
QF_AUFLIA
QF_UFDTLIRA
QF_UFIDL
QF_UFLIA
QF_UFLRA
72
380
66
300
183
300
Cloud Track 1 competitiveQF_UFLRA
1
Parallel Track 1 competitiveQF_UFLRA
1