This is the companion repository for the reddit wiki.
Files have the following naming convention (if there is a primary metric tie, there are multiple files for each category):
- Cost records:
name-name-10X.txt - Power records:
name-name-20X.txt - Lines records:
name-name-30X.txt