SELECT
  id,
  ROUND(pass_rate, 1) AS pass_rate,
  ROUND(time_used, 1) AS time_used,
  total_tasks AS total_tasks
FROM (
  SELECT *,
         ROW_NUMBER() OVER (PARTITION BY id ORDER BY pass_rate DESC, time_used ASC) AS rn
  FROM (
    SELECT
      results.participants.agent AS id,
      res.pass_rate AS pass_rate,
      res.time_used AS time_used,
      SUM(res.max_score) OVER (PARTITION BY results.participants.agent) AS total_tasks
    FROM results
    CROSS JOIN UNNEST(results.results) AS r(res)
  )
)
WHERE rn = 1
ORDER BY pass_rate DESC;