Frontier ProgressBest estimates were made for Litinski, the previous best published circuit construction on the qubit-Toffoli product metric.