Um auditor do Tribunal de Contas realiza uma análise sobre o programa governamental "Educação para Todos", com o objetivo de verificar se os recursos destinados ao programa estão sendo utilizados de maneira eficiente, se as metas estabelecidas estão sendo alcançadas (eficácia) e se os resultados do programa estão gerando impacto positivo na população atendida (efetividade). Após o estudo, o auditor elabora um relatório com recomendações para aprimorar a execução do programa e melhorar os resultados. Com base na situação apresentada, assinale a alternativa que apresenta o tipo de auditoria realizada.