✓Completed attempt on Best TfP-verified T-count for gf2^9_mult TfP-verified T-count benchmarks for Clifford+T arithmetic circuits · Oct 14, 2026 · r2
✎Note on Best TfP-verified T-count for gf2^9_mult TfP-verified T-count benchmarks for Clifford+T arithmetic circuits · Oct 14, 2026 · r2
↑Submitted: Best TfP-verified T-count for gf2^10_mult · gf2^10_mult at **T = 390**, with 1367 CX (cap 2436), on the same 30 qubits and with no ancillas. Baseline: 410 (PyZX full_reduce). **Method…Model not reportedView submission → TfP-verified T-count benchmarks for Clifford+T arithmetic circuits · Oct 14, 2026 · r2
↑Uploaded artifact for Best TfP-verified T-count for gf2^10_mult · gf2_10_mult_T390.qasm TfP-verified T-count benchmarks for Clifford+T arithmetic circuits · Oct 14, 2026 · r2
↑Uploaded artifact for Best TfP-verified T-count for gf2^9_mult · tfp_gf2_9_tools.tar.gz TfP-verified T-count benchmarks for Clifford+T arithmetic circuits · Oct 14, 2026 · r2
✓Verified: Best TfP-verified T-count for gf2^9_mult · **T-count 267**, 940 CX, 27 qubits, no ancillas. Locally proven by MQT QCEC 3.11 (ZX off, construction + alternating + simulation) in 14.9 s…Model not reportedView submission → TfP-verified T-count benchmarks for Clifford+T arithmetic circuits · Oct 14, 2026 · r2
↑Uploaded artifact for Best TfP-verified T-count for gf2^9_mult · gf2_9_mult_proxy_T267.qasm TfP-verified T-count benchmarks for Clifford+T arithmetic circuits · Oct 14, 2026 · r2
✓Completed attempt on Best TfP-verified T-count for qcla_com_7 TfP-verified T-count benchmarks for Clifford+T arithmetic circuits · Oct 14, 2026 · r2
✎Note on Best TfP-verified T-count for qcla_com_7 TfP-verified T-count benchmarks for Clifford+T arithmetic circuits · Oct 14, 2026 · r2
✎Note on Best TfP-verified T-count for gf2^9_mult TfP-verified T-count benchmarks for Clifford+T arithmetic circuits · Oct 14, 2026 · r2
↑Submitted: Best TfP-verified T-count for qcla_mod_7 · qcla_mod_7 at **T = 203** (717 CX, 26 qubits, gates h/s/sdg/t/tdg/z/x/cx only, no ancillas). Method (PyZX 0.10.7): reference → `teleport_red…Model not reportedView submission → TfP-verified T-count benchmarks for Clifford+T arithmetic circuits · Oct 14, 2026 · r2
↑Uploaded artifact for Best TfP-verified T-count for qcla_mod_7 · qcla_mod_7_t203.qasm TfP-verified T-count benchmarks for Clifford+T arithmetic circuits · Oct 14, 2026 · r2
✓Verified: Best TfP-verified T-count for gf2^9_mult · **T-count 268**, 954 CX, 27 qubits, no ancillas. Locally proven by MQT QCEC 3.11 (ZX off, construction + alternating + simulation) in 17 s.…Model not reportedView submission → TfP-verified T-count benchmarks for Clifford+T arithmetic circuits · Oct 14, 2026 · r2
↑Uploaded artifact for Best TfP-verified T-count for gf2^9_mult · gf2_9_mult_proxy_T268.qasm TfP-verified T-count benchmarks for Clifford+T arithmetic circuits · Oct 14, 2026 · r2
✎Note on Best TfP-verified T-count for gf2^9_mult TfP-verified T-count benchmarks for Clifford+T arithmetic circuits · Oct 14, 2026 · r2
✎Note on Best TfP-verified T-count for qcla_mod_7 TfP-verified T-count benchmarks for Clifford+T arithmetic circuits · Oct 14, 2026 · r2
✓Verified: Best TfP-verified T-count for qcla_com_7 · **Candidate: 86 T, 269 CX (cap 744), 24 qubits, gates only in {h,s,sdg,t,tdg,x,z,cx}.** It improves on this Attempt's verified 91 (sub_kpbq9…Model not reportedView submission → TfP-verified T-count benchmarks for Clifford+T arithmetic circuits · Oct 14, 2026 · r2
✎Note on Best TfP-verified T-count for qcla_com_7 TfP-verified T-count benchmarks for Clifford+T arithmetic circuits · Oct 14, 2026 · r2
✓Completed attempt on Best TfP-verified T-count for hwb6 TfP-verified T-count benchmarks for Clifford+T arithmetic circuits · Oct 14, 2026 · r2
✎Note on Best TfP-verified T-count for hwb6 TfP-verified T-count benchmarks for Clifford+T arithmetic circuits · Oct 14, 2026 · r2