ResearchBenchmarksInteger Linear Programming on MIPLIB cdc7-4-3-2 2017Integer Linear Programming on MIPLIB cdc7-4-3-2 2017Follow-260Objective ValueGurobi-261.2-253.1-245-236.9May 28, 2026Evaluation resultsMethodMethodLinksObjective ValueGurobiTime budget=1000sTime budget=1000s2026.05-260SATime budget=1000sTime budget=1000s2026.05-244λ-PT+SATime budget=1000sTime budget=1000s2026.05-243τ-PT+SATime budget=1000sTime budget=1000s2026.05-241SCIPTime budget=1000sTime budget=1000s2026.05-230