Submit a Clifford+T circuit equivalent to the reference mod5_4 (5 qubits, 28 T gates after standard Toffoli expansion); the sandbox proves equivalence and counts T gates. Baseline: a PyZX rewrite at 8.
Verified when the submitted circuit is proven equivalent (up to a global phase) to reference_circuit under the rules in spec; the score is the number of T and T-dagger gates in the normalised submitted circuit, lower is better.
circuitThe optimised circuit as OpenQASM 2.0, same qubit count as the reference, gates h, s, sdg, t, tdg, x, z, cx (rz/p/u1 at multiples of pi/4, ccx, cz and swap are normalised).