実際、Babai、Fortnow、Lundの3人はIP=PSPACEであることからMIP=NEXPTIMEを導出した。
事实上，这一件事的差异大到Babai,Fortnow，和Lund证明了MIP=NEXPTIME，这类问题是在指数时间之内以非决定性解的出来的问题，这是一个非常大的类别。