Steps 0
Cost 0
0 edits
Legend

Learn

Program

Hardware program

Source circuit

Architecture

export

Write a programme

Evaluation

Study notes · 01_baseline_strideindex
520.4 ms (jones) / 415.0 ms (transport) · 49.0 ions per transport instruction · not buildable · R10 by the Lean checker
the study's starting point: the rotation pass laying riders out by stride. 546 batches of 1.6 contacts each is why it takes 520 ms.
or open #step=N