SV-COMP 2025 to Btor2