SMT-COMP 2016 http://smtcomp.sourceforge.net/2016/ に駆け込みで自作ソルバtoysmtを投稿してみた。 StarExec https://www.starexec.org/ という実際のソルバ実行も行うクラスタシステムに登録するのだけれど、 SMT-COMPもStarExecも初めてで、ちゃんと登録できたのかよく分からん…… orz