Hi, The solvers submitted by the organizers are already available on the website: http://www.csl.sri.com/users/demoura/smt-comp/participants.shtml Best wishes, Leonardo for Aaron and Clark too.