# Results of SAT on the Qiskit simulator

I computed SAT formula with the Grover search algorithm on the Qiskit simulator with default parameters, but I don't understand why the incorrect solutions don't have a probability of 0?

The SAT formula is $$(x_1 \vee x_2) \wedge (x_2 \vee x_3)$$.

• Hi! What was the sat formula you were using? – met927 Apr 23 at 12:34
• Sorry @met927 , the formula is : (x1 v x2) ^ (x2 v x3) – julien rodriguez Apr 23 at 12:42

## 1 Answer

It seems that the algorithm works well. Your formula returns zero for inputs 000, 001 and 100. Those values have very low probability in comparison with others states in histogram you provided. Since there is some level of noise, the probabilities are not zero for 000, 001 and 100.

Note that even the simulator on IBM Q generates some noise because of finite precision of the simulator.

Overall, there is no mistake.

• I read on this that the qasm simulator has no noise by default ? – julien rodriguez Apr 23 at 14:29
• @julienrodriguez: Sorry for my inaccuracy, but the result is the same. That is the simulator does not corespond with theory 1:1. – Martin Vesely Apr 23 at 14:49
• @julienrodriguez: I fixed the answer accordingly. – Martin Vesely Apr 23 at 14:51
• Thank you @Martin :) – julien rodriguez Apr 23 at 14:52