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_561745095aed43d9 · 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)	3/3 · 100.0% [43.9%, 100.0%] · preliminary	3 / 3	0	GOOD_FAILURE: 0 BAD_FAILURE: 0 GOOD_SUCCESS: 3 BAD_SUCCESS: 0

Legacy evidence

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

Every recorded run

7 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_9f3bab7ceee04d0d` nop@@	Oct 10, 2026 console	0 · valid	No diagnostic label derived	Tokens: — Turns: — Cost: —	Not publicly available
`trial_a05a73f5650c4e12` oracle@@	Oct 10, 2026 console	1 · valid	No diagnostic label derived	Tokens: — Turns: — Cost: —	Not publicly available
`trial_0dfe716683f9472b` Claude Opus 5 · default (unverified)	Oct 10, 2026 console	1 · valid	GOOD_SUCCESS frozen-classifier	Tokens: 385,483 Turns: 300 Cost: $68.0321	Not publicly available
`trial_31c33ba0c55c490b` Claude Opus 5 · default (unverified)	Oct 10, 2026 console	No reward · excludedno_reward	No diagnostic label No diagnostic source	Tokens: — Turns: — Cost: —	Not publicly available
`trial_321b7354e9a64900` Claude Opus 5 · default (unverified)	Oct 10, 2026 console	1 · valid	GOOD_SUCCESS frozen-classifier	Tokens: 246,678 Turns: 65 Cost: $14.6216	Not publicly available
`trial_80b3fb32c5a246ce` Claude Opus 5 · default (unverified)	Oct 10, 2026 console	1 · valid	GOOD_SUCCESS frozen-classifier	Tokens: 200,800 Turns: 78 Cost: $13.2059	Not publicly available
`trial_85c9305e23094fc3` Claude Opus 5 · default (unverified)	Oct 10, 2026 console	No reward · excludedno_reward	No diagnostic label No diagnostic source	Tokens: — Turns: — Cost: —	Not publicly available