Hi, The list of participants and the selected benchmarks are available on the SMT-COMP website. http://www.csl.sri.com/users/demoura/smt-comp/participants.shtml http://www.csl.sri.com/users/demoura/smt-comp/selected-benchmarks.shtml Best wishes, Leonardo for Aaron and Clark too.