MIPLIB2003 の中では以下の三つの分類がされている。 緑：instance can be solved within an hour with a commercial solver 黄色：instance has been solved 赤：optimal solution to instance is unknown ds という問題は黄色に分類されているので、既に最…