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.