ikegami-3Shift-DATA1.2による各社比較

 最適解証明が出来たのは、ScheduleNurseⅢとGurobiのみです。Cplexは、最適解に到達したもののOptimality　Provenとはなりませんでした。