Harbor Adapters - IneqMath (Terminus-2): leaderboard
IneqMath, multiple-choice questions on inequality bounds and relations, all 100 public development questions: accuracy in percent by exact match with an LLM-judge fallback, higher is better. Each model runs in Terminus-2, the Harbor framework's bash-only terminal agent with no native web or image tools, at its provider's default settings, so results can differ from the same model in its vendor's own agent; the score is the mean of three trials (Harbor Adapters large-scale evaluation; Shi, Lin et al., 2026).
Metric: Accuracy (%; 100 questions, mean of 3 trials). Source: arxiv.org. Saturation forecast: Estimated already saturated. 8 models tracked.
Top models
| # | Model | Score | Overall rank |
|---|---|---|---|
| 1 | Claude Sonnet 4.6 | 97 | #158 |
| 2 | Gemini 3.1 Pro (Preview) | 94.7 | #91 |
| 3 | GPT-5 Mini | 92.3 | #349 |
| 4 | Gemini 3 Flash (Preview) | 86.7 | #141 |
| 5 | Claude Opus 4.6 | 86 | #100 |
| 6 | GPT-5.4 (Medium) | 85.3 | #121 (GPT-5.4) |
| 7 | GPT-5 Nano | 78 | #888 |
| 8 | Claude Haiku 4.5 | 73.3 | #568 |
No result here: #1 Claude Fable 5.2, #2 Gemini 4 Carbon, #5 Claude Opus 5.5.
Interactive version: theaggregate.ai/benchmark?slug=harbor-adapters-ineqmath-terminus-2 · How It Works · Data refreshed daily, snapshot 2026-11-12.