そういえば、SMTソルバのコンペである SMT-COMP 2016 http://smtcomp.sourceforge.net/2016/ の結果が出ていた。
我がtoysmtはといえば、出場した全てのカテゴリ(QF_LRA, QF_UF, QF_UFLRA, QF_RDL)でダントツの最下位という予想通りの結果(^^; だけれど、とりあえず間違った結果を返しているものは無かったようなので、それは良かった良かった。