You have successfully installed Yices. 

For more information. please visit http://yices.csl.sri.com.