Supplement: quadT: How Profilers Can Help Navigate Type Migration

uquadT.tar.gz = boundary profile (aka contract profile) 17-* = performance data uquadT_profile.tar.xz_* = statistical profile This data is divided across 4 files thanks to the unix split command. Use cat to combine, then untar. Reports on 3^14 = 4,782,969 configurations of quadT, so there should be that many files in the two profile folders and that many lines of running times in the .out file.