SMT-COMP 2016 の情報が出てた。 https://sourceforge.net/p/smtcomp/mailman/message/34855006/ ソルバとベンチマークの投稿〆切等の情報はまだだけれど。