Due to the size of our data set (~31G), we uploaded all the supplementary materials on an anonymized GitHub repository. Please find PerfForge (the benchmark incorporating tests generated by Wedge), our synthesized performance-characterizing constraints, the raw data used to generate our main results, and the code and instructions to reproduce them, at: https://github.com/elmerjfudd/wedge
