It is not really meaningful to talk about a single instance being verifiable in polynomial time.