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_LinearIntArith

Tracks

Track Number of Benchmarks StatusLogics Benchmarks
Single Query Track 7430 competitiveQF_IDL
QF_LIA
QF_LIRA
1204
6219
7
Incremental Track 69 competitiveQF_LIA
69
Unsat Core Track 1027 competitiveQF_IDL
QF_LIA
QF_LIRA
100
922
5
Model Validation Track 4785 competitiveQF_IDL
QF_LIA
QF_LIRA
735
4049
1
Proof Exhibition Track 1027 competitiveQF_IDL
QF_LIA
QF_LIRA
100
922
5
Cloud Track 89 competitiveQF_IDL
QF_LIA
63
26
Parallel Track 89 competitiveQF_IDL
QF_LIA
63
26