Loading the SOTA2 catalog…
Geometric Optimization on EinsteinArena Heilbronn problem for triangles (n = 11) benchmark leaderboard · SOTA2 Research