Nondeterministic double-exponential time (i.e. NTIME(2^{2^p(n)}) for p a polynomial).

Equals MIP_EXP (unrelativized).

Equals DTIME(2^{2^p(n)}) for p a polynomial.

Also known as 2-EXP.

Contains EE, and is contained in NEEXP.

The exponential-time analogue of MIP.

In the unrelativized world, equals NEEXP.

There exists an oracle relative to which MIP_EXP equals the intersection of P/poly, P^NP, and ⊕P [BFT98].

Nondeterministic double-exponential time with linear exponent (i.e. NTIME(2^{2^O(n)})).

If MA_E = NEE then MA = NEXP ∩ coNEXP [IKW01].

Contained in NEEXP.