CP-SynC-XL - Python + OR-Tools: leaderboard
Metric: Correct instances (%; share of the 4,577 CP-SynC-XL instances of 100 CSPLib and PyCSP3 combinatorial problems whose returned solution passes the reference verifier (feasibility, COP optimality) within 256 s; constraint modelling: the LLM writes a Python model for the OR-Tools CP-SAT solver, baseline prompt; final artefact after smoke and scaling-check refinement; greedy decoding). Source: arxiv.org. Saturation forecast: Around December 2026. 3 models tracked.
Top models
| # | Model | Score |
|---|---|---|
| 1 | Gemini 3.1 Pro (Preview) (Medium) | 71.6 |
| 2 | DeepSeek V3.2 | 43.9 |
Interactive version: theaggregate.ai/benchmark?slug=cp-sync-xl-python-plus-or-tools · How It Works · Data refreshed daily, snapshot 2026-09-26.