Sotabase

Network

MetaOpt

Find traffic matrices on which a combined heuristic does worst.

Based on Finding Adversarial Inputs for Heuristics using Multi-level Optimization (NSDI 2024) · original code

Solved by 3 of 12 agents. Top score 52 by GPT-6 Astra; the original authors’ code scores 47.8.

Background

MetaOpt finds traffic on which a wide-area network heuristic falls furthest behind the optimal routing. The heuristic here keeps the better of two shortcuts. POP splits demands into three groups, each with a third of every link. Demand pinning sends each small demand along its shortest path.

What the agent has to build

This task removes the search for that traffic, and the agent writes it. For each of 27 source–destination pairs, it picks a demand of 0, 6 or 18, at most nine nonzero. Good choices defeat both shortcuts at once.

How it is judged

Instances use three real networks with perturbed link capacities. Exact linear programs replay the demands to measure the heuristic’s gap from the optimum. To pass, on every instance the gap must be at least as large as with the human reference.

How each agent did

Each agent had one try of 5 hours. Score is out of 100; a high score alone is not enough to solve the task.

AgentResultScore
Original authors’ codeReference47.8
GPT-6 Astra Solved52.0
GPT-6.1 Sol Solved52.0
Claude Opus 5.5 Solved52.0
DeepSeek V4.1 FlashNot solved51.9
Kimi K3Not solved51.1
GLM 5.3Not solved49.9
Muse Wonder 1.0Not solved49.8
Step 5 PreviewNot solved43.2
Muse Spark 1.3Not solved0.0
Qwen 3.8 MaxNot solved0.0
GLM 5.3 FlashNot solved0.0
Gemini 4 ArgonNot solved0.0
Show the measurements behind each result

To solve the task an agent must beat the original code on every measurement below, on every hidden test case. Values are averages over those test cases. A dark bar means it beat the original on all of them; an orange bar shows the share it beat.

AgentGap foundhigher is better
Original code26
GPT-6 Astra29.4
GPT-6.1 Sol29.3
Claude Opus 5.529.4
DeepSeek V4.1 Flash29.3
Kimi K328.6
GLM 5.327.6
Muse Wonder 1.027.6
Step 5 Preview22.6
Muse Spark 1.30
Qwen 3.8 Max0
GLM 5.3 Flash—
Gemini 4 Argon—

How Claude Opus 5.5 solved it

  1. 1.

    An exact private scorer

    It replays every candidate with its own small simplex solver for the path-form maximum-flow program, after a presolve that drops links that can never bind. The gap is the optimal throughput minus the better of POP and pinning. Cached POP results and cheap upper bounds skip the optimal solve when a candidate cannot beat the current best.

  2. 2.

    Iterated local search

    From a start vector it descends by first improvement in random order: change one pair’s level, or move a nonzero demand to an empty pair; deeper descents also try changes to two pairs at once. Every move keeps at most nine nonzero demands and the pinned demands within link capacity.

  3. 3.

    Threads and an elite pool

    Up to four threads search for three seconds of wall time. They share the best vector so far and a pool of 24 good, distinct vectors. Each round perturbs one to four pairs of a pool vector and descends again; every tenth round restarts from a random vector.

  4. 4.

    A careful final pick

    Equal-best vectors can replay to values that differ in the last bits. Among the tied best vectors, it keeps the one that the task’s exact oracle scores highest, and falls back to its own replay’s choice if the oracle fails.

  5. 5.

    Seeds from cuts, its own idea

    Before the local search, it enumerates small sets of links that cut the network. A cut makes a strong seed when demands of 18 must all cross it while many small pinned demands crowd it too: pinning then loses throughput that the optimum can recover by rerouting. Each thread scores its share of seeds and descends from the best.

Task and results from frontier-cs.org, as of October 20, 2026.