Models that rank #1 on at least one metric, ranked by how many metrics they top. Respects the filters above. Pareto badges mark models on the cost / speed / size vs. Intelligence Index trade-off frontier.