MIPソルバーの評価

例のベンチでの評価結果です。厳密解を得るまでの時間を
まとめてみました。（NEOSサーバによる）Instance8だけは、5分内に厳密界を得ることができず、最良値を書いています。
なお、自分のエンジン(ScNurse2)については、Pieter　Smetさんの解を元に解析を進めてバグをFIXすることが出来、無事、厳密解1300を得ました。この解を得るまでに907秒かかりました。

なお、これ以上良い解はない、という証明には、さらに時間がかかります。MIPソルバーの方は、CuttingPlaneという数学的な方法で、LowerBoundを上げているので、解が見つかってから証明終了までさほど時間がかかりません。

RosterBoosterは、ノッティンガム大学のスピンオフ会社です。300sec以内に解けていないものが多いです。赤字で記したのがそのインスタンスでのBestSolverです。ScNurse2は、実装上の最適化チューニングを施していません。（未だ余力があります）

	CBC	SCIP	Cplex	Gurobi	RosterBooster	ScNurse2	ScNurse2備考
Instance1	1.8	1.67	0.15	0.27	0	0.47
Instance2	4.62	4.68	0.66	0.98	0	0.5
Instance3		30.3	3.1	1.62	1002(300sec)	1.15
Instance4		51.5	13.18	4.53	10	1.11
Instance5		235.04	56.91	34.39	21	3.54
Instance6			30.15	14.7	1952(300sec)	6.15
Instance7			84.95	113.54	1062(300sec)	218.5
Instance8(300sec)			1665	1794	1528(300sec)	1301	1300(907sec)