Tags give the ability to mark specific points in history as being important
Version of benchmark definitions and category structure used for SV-COMP 2024
This tag marks the version used for the 10th Competition on Software Verification (SV-COMP) 2021.
This tag marks the version of the benchmark definitions for the Competition on Software Verification (SV-COMP) 2020.
This tag marks the version of the benchmark definitions taken for SV-COMP 2019.
This tag marks the version of the benchmark definitions taken for SV-COMP 2018.
Benchmark definitions as used in the competition on software verification (SV-COMP) 2017.