Prefiro AVG ainda mais com a nova versão 9.0 que saiu, mas está em testee.. Creioo que vai um sucesso
Formatar o computador é apenas em ultimo caso ... Quando não existe mais solução para seu problema ... Por isso não ...
Dependendo da configuração do seu computador demora sim !