GPOST-Bによる各社比較

 

これも、全社共、厳密解が求まっています。ScheduleNurse３は、厳密解に到達するのは、2.5秒しかかかっていませんが、その後証明するのに30秒を要しています。求解パラメータを調整すれば数秒以下にすることは可能ですが、あくまでdefault parameterでの値を載せています。