QEncodeBench - Vertex Cover: leaderboard
The vertex-cover family of QEncodeBench (Che, Wu, Yuan and Yu, 2026): 70 core instances whose phase oracle must mark vertex sets of size at most k that cover every edge, which needs a counter circuit. Semantic pass@1 in percent, decided by exhaustive simulation of the generated Qiskit circuit up to a global phase; higher is better.
Metric: Semantic pass@1 (%; L3 gate, vertex cover (edges covered with at most k vertices, needs a counter), 70 instances of the core set; the model writes a Qiskit build_oracle function in one shot and the verifier decides full solution-set equivalence up to a global phase by exhaustive simulation, with ancillas restored and a measurement-free unitary circuit; pass@1, one attempt per instance (five samples at temperature 0.7 for the non-reasoning DeepSeek-V4-Flash row)). Source: arxiv.org. Saturation forecast: Around February 2027. 13 models tracked.
Top models
| # | Model | Score | Overall rank |
|---|---|---|---|
| 1 | GPT-5.6 Terra | 78.6 | #60 |
| 2 | GPT-OSS-120B (High) | 70 | #699 (GPT-OSS-120B) |
| 3 | Claude Opus 4.8 | 67.1 | #56 |
| 4 | GPT-OSS-20B (High) | 58.6 | #1150 (GPT-OSS-20B) |
| 5 | Claude Haiku 4.5 | 38.6 | #568 |
| 6 | DeepSeek V4 Flash (Non-reasoning) | 1.1 | #254 (DeepSeek V4 Flash) |
| 7 | DeepSeek R1 0528 Qwen3 8B | 0 | #2101 |
| 8 | Qwen 2.5 Coder 7B Instruct | 0 | #3884 |
No result here: #1 Claude Fable 5.2, #2 Gemini 4 Carbon, #5 Claude Opus 5.5.
Interactive version: theaggregate.ai/benchmark?slug=qencodebench-vertex-cover · How It Works · Data refreshed daily, snapshot 2026-11-12.