The International Competition on Software Verification (SV-COMP) has been an important
driver of progress in the formal verification community, fostering tool development,
benchmarking, and reproducibility. As the competition grows in scale and complexity,
a reproducibility study is essential to evaluate its robustness across environments,
uncover hidden dependencies, and ensure long-term sustainability. This work aims to
reaffirm the reliability of SV-COMP’s results, provide insights for similar competitions,
and facilitate the adoption of its infrastructure beyond the competition. We reproduced
the verification and validation results of active participants, including score and
ranking calculations for the verification track. We found several problems prohibiting
reusability and reproducibility of some participating tools, but we did not find serious
issues with the competition infrastructure itself.
