PredicateLongBench - Unary Exists: leaderboard
PredicateLongBench asks a model to find the run of words in a very long list that satisfies a stated predicate, such as a lexicographically sorted sequence. This board covers a prefix, suffix or string-match predicate over a synthetic 128K-token word list, with no distractors. Answers are exact-match and outputs that exceed the generation budget count as wrong, so the score reflects both search and output discipline.
Metric: Accuracy (%; share of the 100 synthetic word lists of about 128K tokens whose answer is exactly the one word sequence satisfying the predicate, any contiguous run of words matching a prefix, suffix or string-match predicate, no distractors; up to 16K output tokens including reasoning, an answer past the cap counts as wrong). Source: arxiv.org. Saturation forecast: Estimated already saturated. 9 models tracked.
Top models
| # | Model | Score | Overall rank |
|---|---|---|---|
| 1 | GPT-5.4 (Non-reasoning) | 96 | #123 (GPT-5.4) |
| 2 | GPT-5.4 (High) | 95 | #123 (GPT-5.4) |
| 3 | Gemini 3.1 Pro (Preview) (High) | 93 | #94 (Gemini 3.1 Pro (Preview)) |
| 4 | Gemini 3.1 Pro (Preview) (Low) | 91 | #94 (Gemini 3.1 Pro (Preview)) |
| 5 | Claude Opus 4.6 (Thinking) | 87 | #102 (Claude Opus 4.6) |
| 6 | GLM-5.1 | 76 | #179 |
| 7 | Claude Opus 4.6 | 53 | #102 |
| 8 | MiniMax-M2.7 | 50 | #518 |
| 9 | Qwen 3.5 397B A17B | 45 | #246 |
No result here: #1 Claude Fable 5.2, #2 Gemini 4 Carbon, #5 Claude Opus 5.5.
Interactive version: theaggregate.ai/benchmark?slug=predicatelongbench-unary-exists · How It Works · Data refreshed daily, snapshot 2026-11-13.