Si no se incluye la clausura de Kleene, el problema es NEXPTIME-completo, que es como EXPTIME-completo, salvo que se define según las máquinas de Turing no-deterministas.