Did Vals run all those benchmarks themselves? A bunch of these models don't show up on the official ProgramBench leaderboard. https://programbench.com/extended/