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 362 competitiveBV
362
Proof Exhibition Track 2660 competitiveBV
2660
Cloud Track 0 competitive
Parallel Track 0 competitive