SELECT results.participants.solver AS id, ROUND(res.resolve_rate * 100, 2) AS "% Resolved (Pass@1)", ROUND(res.pass_at_k['pass@2'] * 100, 2) AS "Pass@2", ROUND(res.pass_at_k['pass@3'] * 100, 3) AS "Pass@3", res.total_tasks AS "Total Tasks", res.validated AS "Validated Patches", res.no_patch AS "No Patch Generated", res.errors AS "Errors", res.max_attempts AS "Max Attempts" FROM results CROSS JOIN UNNEST(results.results) AS r(res);

SELECT results.participants.solver AS id, ROUND(res.average_best_of_k_score,2) AS "Score", ROUND(res.avg_bash_stdout_chars,2) AS "Tokens Requested", res.tests_passed AS "Tests Passed", res.tests_failed AS "Tests Failed", ROUND(res.average_turns,2) AS "Turns" FROM results CROSS JOIN UNNEST(results.results) AS r(res);

SELECT results.participants.solver AS id, ROUND(res.average_best_of_k_score,2) AS "Score", CAST(res.before_f2p_passed AS VARCHAR) || ' / ' || CAST(res.before_f2p_total AS VARCHAR) AS "Before: Fail->Pass", CAST(res.after_f2p_passed AS VARCHAR) || ' / ' || CAST(res.after_f2p_total AS VARCHAR) AS "After: Fail->Pass", CAST(res.before_p2p_passed AS VARCHAR) || ' / ' || CAST(res.before_p2p_total AS VARCHAR) AS "Before: Pass->Pass", CAST(res.after_p2p_passed AS VARCHAR) || ' / ' || CAST(res.after_p2p_total AS VARCHAR) AS "After: Pass->Pass", CAST(res.f2p_fixed AS INT) AS "Fail->Pass Fixed", CAST(res.p2p_regressed AS INT) AS "Pass->Pass Regressed" FROM results CROSS JOIN UNNEST(results.results) AS r(res);