ARCH-COMP25 Category Report: Falsification

We report the results from the falsification category of the 2025 competition in the Applied Verification for Continuous and Hybrid Systems (ARCH) workshop. We summarize the rules for this year’s competition, the experimental settings, and benchmark models. We provide background on the participating teams and tools. Finally, we present and discuss the results of the competition.