FrontierCS 2 - Search Strategy for Concolic Testing: leaderboard
FrontierCS 2 selected formal runs on 48 research engineering tasks, with each source-native coding harness. Paper v1 Table 3 fixes the effort settings; the subsequently added DeepSeek 1017 row leaves effort unspecified. Superseded attempts are not selected by score. Native bounded task scores are distinct from human-reference margins and from pass/fail verdicts. Explicit failed-run zeroes remain zero; unreported scores remain missing. Metric: Task score (0–100).
Metric: Task score (0–100). Source: frontier-cs.org. Saturation forecast: Around 2032. 14 models tracked.
Top models
| # | Model | Score | Overall rank |
|---|---|---|---|
| 1 | Claude Opus 5.5 (Max) | 15.47 | #5 (Claude Opus 5.5) |
| 2 | GPT-6.1 Sol (xHigh) | 14.98 | #7 (GPT-6.1 Sol) |
| 3 | GPT-6 Astra (xHigh) | 13.21 | #6 (GPT-6 Astra) |
| 4 | Gemini 4 Argon (High) | 12.83 | #8 (Gemini 4 Argon) |
| 5 | DeepSeek V4.1 Flash (1017) | 10.05 | #27 |
| 6 | GLM-5.3 Flash (Max) | 8.67 | #72 (GLM-5.3 Flash) |
| 7 | Muse Spark 1.3 (High) | 7.54 | #29 (Muse Spark 1.3) |
| 8 | Muse Wonder (Max) | 7.43 | #15 (Muse Wonder) |
| 9 | Kimi K3 (High) | 7.11 | #33 (Kimi K3) |
| 10 | GLM-5.3 (Max) | 6.53 | #39 (GLM-5.3) |
| 11 | DeepSeek V4.1 Flash (Max) | 5.56 | #35 (DeepSeek V4.1 Flash) |
No result here: #9 Claude Fable 5.1, #10 Muse Wonder Full.
Interactive version: theaggregate.ai/benchmark?slug=frontiercs-2-search-strategy-for-concolic-testing · How It Works · Data refreshed daily, snapshot 2026-10-26.