SELECT id, CAST(succeeded AS INTEGER) || '/' || CAST(total_tasks AS INTEGER) AS "Tasks Passed", ROUND(pass_rate, 1) AS "Pass Rate" FROM (SELECT *, ROW_NUMBER() OVER (PARTITION BY id ORDER BY succeeded DESC, pass_rate DESC) AS rn FROM (SELECT results.participants.agent AS id, SUM(res.score) AS succeeded, SUM(res.max_score) AS total_tasks, SUM(res.score) * 100.0 / SUM(res.max_score) AS pass_rate FROM results CROSS JOIN UNNEST(results.results) AS r(res) GROUP BY results.participants.agent, results.filename)) WHERE rn = 1 ORDER BY succeeded DESC, "Pass Rate" DESC;