EXP ⊇ P

EXP | EXP ⊇ DQP | EXP ⊇ E | EXP ⊇ HeurBPP | EXP ⊇ RG | EXP ⊇ SQG P | P ⊇ AL | P ⊇ L | P ⊇ LIN | P ⊇ NC | P ⊇ NL | P ⊇ SC

EXP | {} P | P ⊆ AvgP | P ⊆ β_2P | P ⊆ intersection _coβ_2P | P ⊆ intersection _cocompNP | P ⊆ intersection _coHalfP | P ⊆ intersection _coUP | P ⊆ compNP | (6 more)

EXP | \!\(\*FormBox[ RowBox[{ RowBox[{"T", "(", "n", ")"}], "=", RowBox[{"O", "(", SuperscriptBox["2", SuperscriptBox["n", "c"]], ")"}]}], TraditionalForm]\) P | \!\(\*FormBox[ RowBox[{ RowBox[{"T", "(", "n", ")"}], "=", RowBox[{ RowBox[{"O", "(", SuperscriptBox["n", "c"], ")"}], "=", SuperscriptBox["2", RowBox[{"O", "(", RowBox[{"log", " ", "n"}], ")"}]]}]}], TraditionalForm]\) (on a deterministic Turing machine)

EXP | (none) P | P = AL

EXP | (none) P | composite number | linear programming | marriage | graph reachability | 2 SAT | game of Nim | matrix multiplication | greatest common divisor | maximum matching | ...

EXP | (none) P | P = BPP

(supersets shown above subsets)