Correção dos códigos fontes dos benchmarks