VSTTE 2012 Solutions using ACL2

The VSTTE 2012 competition took place November 8-10, 2011, over 48 hours. Roughly 40 teams (of up to four people per team) entered solutions, which were then scored by a panel of judges. A total of 600 points were possible. The winners, announced at the Verified Software: Theories, Tools and Experiments conference held January 28-29, 2012 in Philadelphia, USA, were: Here we provide links to: We are especially grateful to Centaur Technology, the employer of team members Jared Davis and Sol Swords, which graciously allowed them to focus on this exercise during the competition. We are also grateful to those who worked so hard to pose the problems so clearly and those who judged the submissions.