B. Burgstaller, B. Scholz, J. Blieberger: "Tour de Spec - A Collection of Spec95 Program Paths and Associated Costs for Symbolic Evaluation"; Report for Technical Report 183/1-137, Department of Automation, Technische Universität Wien; 2004.