I think you are right, since it entails the Halting problem it is not computable and thus not even in NP.