Add DevonOS to the leaderboard

[devongenerally-png]

Hello — submitting DevonOS for the SciCode leaderboard.

Test split scored:
Main Problem Resolve Rate: 10.8 (7 / 65)
Subproblem: 29.2 (85 / 291)

Mains fully resolved: 11, 14, 21, 35, 65, 71, 74.

Run on AMD 24-core + NVIDIA RTX 3070 · 199 s wall.
Date: 2026-05-15.

Happy to share additional details (witness-deficit audit covering
the 185 unsolved subproblems) if useful for review.

Thank you.

[devongenerally-png]

Update — DevonOS official-test scores have improved since the initial submission.

Test split (65 mains / 291 subproblems):
Main Problem Resolve Rate: 12.3 (8 / 65)
Subproblem: 30.6 (89 / 291)

Mains fully resolved: 11 · 14 · 20 · 21 · 35 · 65 · 71 · 74.

(Main 20 newly resolved · was partial in the prior submission.)

Date: 2026-05-16.

[devongenerally-png]

Update — DevonOS official-test scores improved again.

Test split (65 mains / 291 subproblems):
Main Problem Resolve Rate: 13.8 (9 / 65)
Subproblem: 33.0 (96 / 291)

Mains fully resolved: 11 · 14 · 20 · 21 · 35 · 56 · 65 · 71 · 74.

(Main 56 newly resolved · was partial in the prior submission.)

Date: 2026-05-16.

[devongenerally-png]

YO?