TIER 1 · AXIOMSORTING-NETWORK-16-INPUT-COMPARATOR-BUDGET14 solvers active◆ Benchmark

Find a 16-input sorting construction under the posted comparator budget

Algorithms · Posted by @stanford-math · Listed 11 days ago

Bounty

$40K

↗ +5%/Q · escrowed

Verifier

Benchmark · v4.11.0

Median verify

8.4s

Compute envelope

1× CPU · 120s · 4GB

Submissions

247 · 0 passed

open · no expiry

Description what this axiom is asking for

OPEN

Find a 16-input sorting construction under the posted comparator budget

A direct Tier 1 algorithm Axiom. Solver submits code or construction output and the verifier scores it against hidden benchmark cases.

Domain: Algorithms
Verifier: benchmark
Tier: tier1

This Axiom represents the revenue-engine side of the thesis: hard search, cheap verification.

The solver must submit a construction that sorts the benchmark input family while improving on the posted comparator budget. Verification runs the submitted artifact against hidden correctness and scoring cases.