until June 1, 2025: submission of new benchmarks and final versions of tools

until July 10, 2025: Competition, internal release of results

July 21-25, 2025: Presentation at SYNT 2025 and CAV 2025