SAC simulation of a unitary evolution U = e − i t H ^ . (a) For an arbitrary initial state ∣ ψ 〉 the final state is ∣ ψ f 〉 = U ∣ ψ 〉 . (b) A single run of the SAC simulator is to input a fixed-basis state ∣ ψ 〉 jk , represented by the position and momentum ( q i , p i ) of d hidden particles, and a constrained Hamiltonian dynamics with H = 〈 ψ ∣ H ^ ∣ ψ 〉 generates final values of ( q i , p i ) , which represents ∣ ψ f 〉 jk . When QT verification is performed, many runs of the simulator as well as simulatee are required.