Instance13が解けた

 SchedulingBenchmarksで、instance13は、Reasonableな時間内に解けていませんでしたが、解けました。Pieter Smet さんが既にCplex/Gurobiで解いています。

What's new? (schedulingbenchmarks.org)

によると12000secかかっています。

Algorithm4では、7368secで解けました。

instance13は、120人19シフトでかなり大規模なインスタンスです。下のように、LB=UB=1348で厳密解が得られています。