Musa Nurse Scheduling Benchmark

 これも古いです。シフトが2、２週間で小規模、パターンがほぼありません。ほぼ全体が基数制約です。こういったベンチは、MIPソルバが圧倒します。CPLEXで0.01secでOptimum証明完了です。

スケジュールナースⅢでは、Optimum値が出現するまで10sec,証明完了まで23secかかりました。