Sistemas de prueba cuántica para tiempo exponencial iterado y más allá