Public-release note. This directory now includes the frozen 94-case corpus and the complete results used in the manuscript. Validation does not require rerunning the timing study. If the experiment is ...