A Numerical Study of the Performance of a Quantum Adiabatic Evolution Algorithm for Satisfiability | Synapse