Profs. Aaron Stump and Cesare Tinelli received a supplement of $58,446 from the NSF for the StarExec computing research infrastructure. StarExec is a web service backed by a compute cluster of around 250 nodes. It is used by a dozen or so subcommunities of verification and automated reasoning, for evaluating logic solvers, including through annual evaluations and competitions.