The install-cbmc.sh is supposed to get the correct .deb from Diffblue release or build one when it is not available. The issue is that the script is trying to download cbmc for ubuntu 24.04 while the available releases are for 20.04 or 22.04.