Submit a Clifford+T circuit equivalent to the reference barenco_tof_5 (9 qubits, 84 T gates after standard Toffoli expansion); the sandbox proves equivalence and counts T gates. Baseline: a PyZX rewrite at 40.
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).