Max-SAT Evaluation 2013 http://maxsat.ia.udl.cat/introduction/ の結果が公表されていた。 自分の投稿したscip-maxsatが Partial Max-SAT 部門の Crafted ベンチマークで2位に入賞！

といっても、これはSCIPがスゴイのであって、フロントエンド作っただけの自分がすごいわけではない。

自作のtoysatの方は、昨年の Pseudo-Boolean Competition 2012 ではそれなりに健闘した(と思ってる)けれど、今回はあまり振るわなかったねぇ。 まあ、色々とやりたいことはあったけれど、結局、目的関数値の線形探索ベースの単純なアルゴリズムのやつで投稿してしまったからなぁ……

あと、Max-SAT Evaluation は昨年まではMIP/LP系のソルバはあまり無かった気がしたけれど、今回は自分の投稿したscip-maxsatとglpk-maxsat、それに加えて、
* ILP (C. Ansotegui, M. Bonet, J. Gabas, J. Levy) Max-SAT frontend for CPLEX
* MaxHS (J. Davies, F. Bacchus) Hybrid approach between a SAT solver and a MIP solver.
と、結構MIP/LP系のソルバが参加してて、ちょっとビックリ。