syncrope/treewidth-pace2017-084-width-gap

Task gallery / Scientific computing / Version 1

Reference solution (oracle): Pass
No-op resistance check: Pass
QA verdict: Not recorded
Aggregate eligibility: Eligible version

The task

A narrower tree decomposition for a graph nobody has decomposed /app/instance084.gr is the graph of instance 084 of Track 3 of the PACE 2018 challenge, released under CC0 by the challenge organisers (/app/PROVENANCE.json records the source, the exact query, the file's sha256 and the licence). It is read here as a plain undirected graph: a SECTION Graph block declaring Nodes 2200 and Edges 7997, one E u v w line per …

Excerpt only; not a complete executable task specification. Task ID task_feb592c3c0a24f14 · version 1. Selection status: not fully recorded.

Results by model and effort

This exact task version only. Every rate is passes / valid runs with a Wilson 95% interval; n≤2 remains counts only. Macro aggregation does not apply within a single task. Baselines are summarized in the quality gates, not ranked. A passed no-op resistance check means that doing nothing did not solve the task.

Current evidence

Model / effort	Verifier result [95% Wilson]	Diagnostic labels / valid	HARNESS_ERROR · excluded	Outcome classes
Claude Opus 5 · default (unverified)	2/2	0 / 2	0	GOOD_FAILURE: 0 BAD_FAILURE: 0 GOOD_SUCCESS: 0 BAD_SUCCESS: 0

Legacy evidence

Model / effort	Verifier result [95% Wilson]	Diagnostic labels / valid	HARNESS_ERROR · excluded	Outcome classes

Every recorded run

4 recorded trials, including controls. Diagnostic labels do not replace verifier reward. Labels and quality checks are source declarations, not independently attested here. Internal evidence remains private; a missing public URL is shown explicitly. Records with invalid or absent rewards are not scored.

Run / model	Date / source	Reward / eligibility	Diagnostic class / source	Resources	Evidence
`trial_c104b9d1a07d4f91` oracle@@	Oct 8, 2026 console	1 · excludedsource_evidence_exclusion	No diagnostic label derived	Tokens: — Turns: — Cost: —	Not publicly available
`trial_d6b6816e742441ae` nop@@	Oct 8, 2026 console	0 · excludedsource_evidence_exclusion	No diagnostic label derived	Tokens: — Turns: — Cost: —	Not publicly available
`trial_d86a0fdab61a4959` Claude Opus 5 · default (unverified)	Oct 8, 2026 console	1 · valid	No diagnostic label derived	Tokens: 681 Turns: 2 Cost: $30.2145	Not publicly available
`trial_f4f027cc6b2f4be8` Claude Opus 5 · default (unverified)	Oct 8, 2026 console	1 · valid	No diagnostic label derived	Tokens: 253,569 Turns: 109 Cost: $18.7892	Not publicly available