Pseudo-Boolean Evaluation 2015 の結果が公開されていた。 http://pbeva.computational-logic.org/results/ 私のtoysatは中位から下位くらいの成績かねぇ。 Complete Track は、15ソルバ中7ソルバがいずれかのカテゴリでは間違った結果を出していて、それらを除いた中での順位だと以下の様な感じ。

DEC-LIN-32-CARD: 8位
DEC-LIN-32-PB: 6位
DEC-NLC-32-CARD: 4位
OPT-LIN-32-CARD: 7位
OPT-LIN-32-PB: 4位
OPT-LIN-64-PB: 5位
OPT-NLC-32-CARD: 6位
OPT-NLC-32-PB: 7位