Pseudo-Boolean Competition 2016 http://www.cril.univ-artois.fr/PB16/ の結果が公開されていたが、 我がtoysatはダメで辛い。  今回は色々ダメだろうなぁとは思っていたけれど、 これは想像以上に……