PBソルバでのLP緩和による下界値計算が、 コストに見合わない場合というのを具体例で実感。 normalized-j3027_1.std.opb は、SATベースの自作のしょぼいソルバでも10秒くらいで最適解が求まるのに、 GLPKでLP緩和を解かせると100秒かかった……
http://www.cril.univ-artois.fr/PB10/results/bench.php?idev=36&idbench=78506
商用ソルバならまた違うのかも知れないけど、自分で書いたらGLPKにも及ばないだろうしなぁ。