Revisão de crenças é uma área de pesquisa que estuda as mudanças aplicáveis ao estado epis- têmico de um agente racional. Este estado pode mudar de acordo com a introdução de novos conhecimentos ou com a remoção destes e, para representar estas mudanças, existem três operações principais: expansão, contração e revisão. Este trabalho compara a eficiência de algoritmos para as construções mais conhecidas da operação de contração através de testes utilizando um novo pro- grama que implementa alguns dos algoritmos presentes no framework Bcontractor com a abordagem para revisão de crenças baseada em consistência descrita por Delgrande e Schaub, concluindo com uma comparação entre os resultados, relacionando as fórmulas contidas neles.