Instance9/15/18結果をUpdateしました。
Instance24を除き、全てのインスタンスの厳密解が確定しました。Instance21までは、Instance15を除き1時間程度以内で厳密解を出力できる、ということが視野に入ってきました。（黄色部は、商用ソルバを使用という条件下で。）
上表のCPUは、数世代前のCPUなので、現世代の最速CPUを使えば、倍速に近い結果となるでしょう。
上表のように全厳密解を提示できるのは、スケジュールナースAL3（DVT）版だけです。Gurobi/Cplex/Coptのいずれを用いても、上表の厳密解を得ることは容易ではないでしょう。
