Invariant-Based Diagnostics for Graph Benchmarks. - Richard von Moos; Mathieu Alain; Bastian Rieck (CoRR, 2026)