SMT-COMP 2015 の結果 http://www.smtcomp.org/ が出ていた。 そういえば、今年の SMT Workshop 2015 http://smt2015.csl.sri.com/ が終わったのか。 QF_FPとかのロジックは最近加わったのかな。 浮動小数点演算に関するセオリーらしい。