Then measure the z-component of each of the n spins in the final state. This will produce a string z 1 , z 2 , … … , z n which is highly likely to be the result of the satisfiability problem. The run time T must be sufficiently long to assure correctness of the result. According to the adiabatic theorem, T is about ε ε / g m i n 2 , where g m i n = min 0 ≤ ≤ s ≤ ≤ 1 ( E 1 ( s ) − − E 0 ( s ) ) is the minimum energy gap between ground state and first excited state.