Release candidate for SV-COMP 2024