SELECT
  id,
  score AS "Score",
  num_cases AS "# Cases"
FROM (
  SELECT
    results.participants.agent AS id,
    TRY_CAST(json_extract_string(res, '$.score') AS DOUBLE) AS score,
    TRY_CAST(json_extract_string(res, '$.num_cases') AS BIGINT) AS num_cases,
    ROW_NUMBER() OVER (
      PARTITION BY results.participants.agent
      ORDER BY TRY_CAST(json_extract_string(res, '$.score') AS DOUBLE) DESC
    ) AS rn
  FROM results
  CROSS JOIN UNNEST(results.results) AS t(res)
)
WHERE rn = 1
ORDER BY "Score" DESC;