- STP won the SMTCOMP competition (Bit-vector category) in 2006. STP didn't participate in 2007 and 2008 since the development was largely frozen. Started development again in 2009.
- STP won the bit-vector category at SMTCOMP 2010.
- STP has enabled many PhD theses, including the very first one (Vijay Ganesh's).
- Many of STP's users have been very happy with its performance, and our commitment to improving it. These include Professor Dawson Engler's group (Stanford University), Professor Dawn Song's group (Berkeley), Professor Cristian Cadar's group (Imperial College, London), Professor George Candea's group (EPFL), and Professor David Brumley's group (CMU).