You're right, I could have phrased it better to something like:

"If we run P and Q concurrently with ‘n’ initialized to zero, what extreme interleaving could result in the lowest value of 'n' when the two processes finish executing their statements on a model checker?"

I'll edit it to improve, thanks.