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

Bitvec

Tracks

Track Number of Benchmarks StatusLogics Benchmarks
Single Query Track 970 competitiveBV
970
Incremental Track 18 competitiveBV
18
Unsat Core Track 300 competitiveBV
300
Proof Exhibition Track 300 competitiveBV
300
Cloud Track 0 competitive
Parallel Track 0 competitive