Boolean Satisfiability w/ Grovers Algorithm on the Worlds most powerful Billion Logical Qubit Quantum Computer

A 20 variable problem uses 400+ Logical Qubits & 192k Gates

A 50 variable problem uses 1000+ Logical Qubits & 13.6bn Gates

This is Production Grade Quantum Computing

See for yourself

info@automatski.com