SELECT
      id,
      ROUND(pass_rate, 1) AS "Pass Rate",
      ROUND(time_used, 1) AS "Time",
      total_tasks AS "# Tasks"
    FROM (
      SELECT *,
             ROW_NUMBER() OVER (PARTITION BY id ORDER BY pass_rate DESC, time_used ASC) AS rn
      FROM (
        SELECT
          results.participants.code_agent AS id,
          res.average_score AS pass_rate,
          res.total_execution_time_seconds AS time_used,
          SUM(res.total_tasks) OVER (PARTITION BY results.participants.code_agent) AS total_tasks
        FROM results
        CROSS JOIN UNNEST(results.results) AS r(res)
      )
    )
    WHERE rn = 1
    ORDER BY "Pass Rate" DESC;