Competition-Related Artifacts (DOIs)

For reproducibility, it is important to store snapshots of the used components in a long-term archive.

Edition Report Verifiers and Validators Verification Tasks Competition Results Verification Witnesses BenchExec CoVeriTeam
2025 10. 5281/ zenodo. 15055359 10. 5281/ zenodo. 15012096 10. 5281/ zenodo. 15012085 10. 5281/ zenodo. 15012077 10. 5281/ zenodo. 15007216 10. 5281/ zenodo. 11193690
2024 10. 5281/ zenodo. 10669735 10. 5281/ zenodo. 10669723 10. 5281/ zenodo. 10669731 10. 5281/ zenodo. 10669737 10. 5281/ zenodo. 10671136 10. 5281/ zenodo. 10843666
2023 10. 5281/ zenodo. 7627829 10. 5281/ zenodo. 7627783 10. 5281/ zenodo. 7627787 10. 5281/ zenodo. 7627791 10. 5281/ zenodo. 7612021 10. 5281/ zenodo. 7635975
2022 10. 5281/ zenodo. 5959149 10. 5281/ zenodo. 5831003 10. 5281/ zenodo. 5831008 10. 5281/ zenodo. 5838498 10. 5281/ zenodo. 5720267 10. 5281/ zenodo. 7298960
2021 10. 5281/ zenodo. 4459126 10. 5281/ zenodo. 4458215 10. 5281/ zenodo. 4459196 10. 5281/ zenodo. 4317433 10. 5281/ zenodo. 7298918
2020 10. 5281/ zenodo. 3633334 10. 5281/ zenodo. 3630205 10. 5281/ zenodo. 3630188 10. 5281/ zenodo. 3574420
2019 10. 5281/ zenodo. 2598729 10. 5281/ zenodo. 2559175
2018
2017
2016 10. 5281/ zenodo. 1158644
2015
2014
2013
2012

Competition Repositories

For reproducibility, it is important to make all used components publicly available.

Repository Locations

Component Repository
Verification Tasks https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks
Benchmark Definitions https://gitlab.com/sosy-lab/sv-comp/bench-defs
BenchExec https://github.com/sosy-lab/benchexec
Tool-Info Modules https://github.com/sosy-lab/benchexec/tree/main/benchexec/tools
Witness Format https://gitlab.com/sosy-lab/benchmarking/sv-witnesses
CoVeriTeam https://gitlab.com/sosy-lab/software/coveriteam
Verifiers and Validators in FM Tools Repository https://gitlab.com/sosy-lab/benchmarking/fm-tools
Tool Archives 2024 DOI for each tool available in FM-Tools repository above
Tool Archives 2023 https://gitlab.com/sosy-lab/sv-comp/archives-2023
Tool Archives 2022 https://gitlab.com/sosy-lab/sv-comp/archives-2022
Tool Archives 2021 https://gitlab.com/sosy-lab/sv-comp/archives-2021
Tool Archives 2020 https://gitlab.com/sosy-lab/sv-comp/archives-2020
Tool Archives 2019 https://gitlab.com/sosy-lab/sv-comp/archives-2019
Tool Archives 2018 https://gitlab.com/sosy-lab/sv-comp/archives-2018

Repository Tags

Edition Verifier Archives Verification Tasks Benchmark Definitions BenchExec Tool-Info Modules Witness Format CoVeriTeam
2025 2.2 svcomp25 svcomp25 3.29 3.29 2.0.3 1.2.1
2024 svcomp24 svcomp24 svcomp24 3.21 3.21 2.0.2 1.1
2022 svcomp22 svcomp22 svcomp22 3.10 3.10 svcomp22 svcomp22
2021 svcomp21 svcomp21 svcomp21 3.6 3.6 svcomp21 svcomp21
2020 svcomp20 svcomp20 svcomp20 2.5.1 2.5.1 svcomp20
2019 svcomp19 svcomp19 svcomp19 1.17 1.17 svcomp19
2018 svcomp18 svcomp18 svcomp18 1.14 1.14 svcomp18
2017 svcomp17 svcomp17 1.10 1.10 svcomp17
2016 svcomp16 svcomp16 1.7 1.7
2015 svcomp15
2014 svcomp14
2013 svcomp13
2012 svcomp12