TuRTLe Module Completion (NotSoTiny): leaderboard
TuRTLe module-completion leaderboard on the NotSoTiny benchmark, using formal equivalence and partition coverage over Tiny Tapeout-derived RTL modules.
Metric: Functionality EQV (self-reported). Source: benchmarklist.com. Status: saturation imminent. 15 models tracked.
Top models
| # | Model | Score |
|---|---|---|
| 1 | Kimi K2.5 | 31.57 |
| 2 | Gemma 4 31B (IT) | 29.54 |
| 3 | Qwen 3 Coder 480B A35B Instruct | 23.43 |
| 4 | GPT-OSS-120B | 20.9 |
| 5 | DeepSeek R1 0528 | 20.73 |
| 6 | Kimi K2 0905 | 19 |
| 7 | Qwen 2.5 72B Instruct | 14.7 |
| 8 | Qwen2.5-14B-Instruct-1M | 12.49 |
| 9 | Qwen 2.5 Coder 32B Instruct | 11.85 |
| 10 | Qwen 2.5 14B Instruct | 8.97 |
| 11 | Qwen 2.5 7B Instruct | 3.48 |
Interactive version: theaggregate.ai/benchmark?slug=turtle-module-completion-notsotiny · How It Works · Data refreshed daily, snapshot 2026-09-05.