Masahiro Sakai
-
2016-07-12T00:00:21+0000
- 更新日時:
2016-07-12T00:00:21+0000
そういえば、SMTソルバのコンペである SMT-COMP 2016
http://smtcomp.sourceforge.net/2016/
の結果が出ていた。
我がtoysmtはといえば、出場した全てのカテゴリ(QF_LRA, QF_UF, QF_UFLRA, QF_RDL)でダントツの最下位という予想通りの結果(^^; だけれど、とりあえず間違った結果を返しているものは無かったようなので、それは良かった良かった。
SMT-COMP 2016
共有中: 一般公開
+1 したユーザー:
Yoriyuki Yamagata