finalmente encontramos a causa do problema!
Os usuários que sofrem do problema descrito recentemente foram chamados por causa de outro problema de aplicativo. A solução comum para esse problema era iniciar o IE como administrador e excluir um add-on específico. A próxima vez que o usuário reiniciou sua máquina, ele recebeu a mensagem:
No momento, não há servidores de logon disponíveis para atender à solicitação de logon
Conclusão: Somente um usuário por vez pode ser armazenado em cache (?) Isso significa que não temos permissão para executar o IE como administrador. Conseguimos "reproduzir" com sucesso este problema.