Comment by igouy

So the study took a subset of the programs shown on the benchmarks game website sometime 5 years ago, and that is why instead of looking at the benchmarks game programs we need to look in the repo provided with the study.