Loading the SOTA2 catalog…
Solving Polynomial-Objective Integer Programming on CFLPTC Overall benchmark leaderboard · SOTA2 Research