SV-COMP 2026: Goblint ranks 🥇 first in proving data race freedom and 🥈 second in proving program correctness overall. In validating correctness witnesses, it ranks 🥇 first in the systems category. Thank you to everyone who contributed to Goblint and the SV-COMP organizers!