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

Arith

Tracks

Track Number of Benchmarks StatusLogics Benchmarks
Single Query Track 1610 competitiveLIA
LRA
NIA
NRA
300
1003
208
99
Incremental Track 11 competitiveLIA
LRA
6
5
Unsat Core Track 237 competitiveLIA
NIA
227
10
Proof Exhibition Track 237 competitiveLIA
NIA
227
10
Cloud Track 0 competitive
Parallel Track 0 competitive