Steps 0
Cost 0
0 edits
Legend

Learn

Program

Hardware program

Source circuit

Architecture

export

Write a programme

Evaluation

Study notes · 12_random16index
9.9 ms (jones) / 10.1 ms (transport) · 1.0 ions per transport instruction · R10 by the Lean checker
32 traps on a random expander: short paths, no drawing
or open #step=N