A compiles to B with polynomial size increase.
A might compile to B with quasipolynomial size increase at best.
A compiles to B with quasipolynomial size increase.
A cannot compile to B with quasipolynomial size increase.
Unknown whether A compiles to B.