Max-SAT Evaluation 2014 の結果が出ていた。http://maxsat.ia.udl.cat/introduction/
自分の投稿したものだとSCIP(scip-maxsat)がPartial Max-SATのCraftedで2位、Weighted Partial Max-SATのCraftedで4位。toysat/toysat_lsはトップには遠く及ばなかったけれど、Partial Max-SATのCraftedとIndustrial, Weighted Partial Max-SATのIndustrial辺りでは少しは頑張れたか。 もう少しいけるかと思ったんだけど、むーん。