Leaderboard

One board per task. A task is a fixed circuit, physics package and cost table; every design on a board ran one syndrome-extraction round of that circuit, was replayed against the 23 rules and, where it passed, checked by the proved Lean checker (R10). Each row ranks its designs by running time; open a task for the full plot, where you can rank by anything and click a dot to step the programme in the studio.

ring + dockslatticetorusrandom grapha loop without docks, a line, rails, or two loopsfastest verifiedrefused or rules failed

BB [[144,12,12]]

One syndrome-extraction round of the bivariate-bicycle [[144,12,12]] code: 144 weight-6 checks, 864 two-qubit contacts.

Open the ranking plot →

144 data qubits · ranked by time on the jones table · click a bar to step the programme

refused by the compiler: dual144_c24_R2, racetrack240, racetrack480, chain400, dual240_c0, ladder144_r12, grid9x9, geometric
fastest verified55 msh3_v36_288_ANSWER
R10 by Lean4of 21 that run it
designs2921 run the round
refused · rules failed8 · 0marked in red

Repetition code, distance 9

One syndrome-extraction round of the distance-9 repetition code: 8 weight-2 Z checks.

Open the ranking plot →

9 data qubits · ranked by time on the jones table · click a bar to step the programme

fastest verified1.99 msstationary_chain
R10 by Lean15of 15 that run it
designs1515 run the round
refused · rules failed0 · 0none

Five-qubit code [[5,1,3]]

One syndrome-extraction round of the [[5,1,3]] code: four weight-4 mixed-Pauli checks.

Open the ranking plot →

5 data qubits · ranked by time on the jones table · click a bar to step the programme

refused by the compiler: stationary_chain, h2_racetrack, cyclone_dual_loop, chain
fastest verified1.91 mscyclone_base
R10 by Lean11of 11 that run it
designs1511 run the round
refused · rules failed4 · 0marked in red

Steane code [[7,1,3]]

One syndrome-extraction round of the Steane code: three X and three Z weight-4 checks.

Open the ranking plot →

7 data qubits · ranked by time on the jones table · click a bar to step the programme

refused by the compiler: stationary_chain, chain
fastest verified2.19 mscyclone_base
R10 by Lean13of 13 that run it
designs1513 run the round
refused · rules failed2 · 1marked in red

Surface code, distance 3 (17 qubits)

One syndrome-extraction round of the distance-3 rotated surface code: eight stabilizers on 9 data qubits.

Open the ranking plot →

9 data qubits · ranked by time on the jones table · click a bar to step the programme

refused by the compiler: stationary_chain, h2_racetrack, cyclone_dual_loop, chain
fastest verified3.81 mscyclone_base
R10 by Lean11of 11 that run it
designs1511 run the round
refused · rules failed4 · 1marked in red

Contributing a design from the studio (Verify → Contribute) arrives in phase 3 of the plan; until then the boards carry the study's seed entries.