Sepration Logic ソルバのコンペの SL-COMP http://www.liafa.univ-paris-diderot.fr/slcomp/ なんてのが2014から開催されていたのか。 知らなかった……