ConstraintBench (Joint Optimality): leaderboard
Metric: Joint optimality rate (%): share of the 200 tasks whose solution is feasible and within 0.1 percent of the solver-proven optimum; ConstraintBench's 200 fully specified constrained-optimization tasks in natural language (20 per operations-research domain, each Gurobi-solved to proven optimality); the model returns a structured solution directly, without a solver, which a deterministic verifier checks against every constraint; one trial per task, OpenAI models at high reasoning effort and Claude with extended thinking (55,000 reasoning tokens), Gemini at its default; higher is better. Source: arxiv.org. Saturation forecast: Around July 2028. 6 models tracked.
Top models
| # | Model | Score | Overall rank |
|---|---|---|---|
| 1 | Claude Opus 4.6 (Thinking) | 21.5 | #60 (Claude Opus 4.6) |
| 2 | GPT-5.2 (High) | 21 | #105 (GPT-5.2) |
| 3 | Claude Opus 4.5 (Thinking) | 12.5 | #79 (Claude Opus 4.5) |
| 4 | Gemini 3 Pro (Preview) | 8.5 | #64 |
| 5 | O4 Mini (High) | 8.5 | #172 (O4 Mini) |
No result here: #3 Claude Opus 5.5, #5 GPT-6 Astra, #8 Claude Fable 5.1.
Interactive version: theaggregate.ai/benchmark?slug=constraintbench-joint-optimality · How It Works · Data refreshed daily, snapshot 2026-10-11.