Max-SAT Evaluation 2015 http://maxsat.ia.udl.cat/ の方は結果がなかなか公開されないなぁとヤキモキしていたけれど、公開されていた。 結果のデータだけで発表スライドはまだみたいだけれど。 自分のtoysat/toysat_ls的には Pseudo Boolean Evaluation 2015 の結果 https://plus.google.com/+MasahiroSakai/posts/7xSsYAgyRxP 以上に厳しい結果だなぁ。うぐぐ。