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