Version used on SV-COMP 2023 Link to official archives: https://gitlab.com/sosy-lab/sv-comp/archives-2023/-/raw/main/2023/bubaak.zip