昨日と同様に Gurobi 4.6.0 を用いて、Fedora 15 と 16 環境下での性能差を調べてみた。こちらの方は Fedora 16 の方が速いという現象は特に見られない（むしろ遅くなっている）。 ◯問題 gmu-35-40.mps (MPILIB2010) 最適解 -2.4065401670e+06 Fedora 15 : 7…