Created in July 25, 2026
2026
We (α,β-CROWN team) won the 1st place overall in VNN-COMP 26. Great job!