QMC1 Nurse Scheduling Benchmark

 Optimum 解に到達するまで8秒、Optimum証明まで23秒、Cplexは、５秒、Gurobiは、4秒でした。