QMC-1による各社比較

 AutoRosterは、Optimized　Valueに到達するもののOptimizedを確認できないようです。QMC-1は、中規模のインスタンスになります。

これに対して、HiGHSは、36秒で厳密解を出力、終了しています。