Experimenting with Deduction Modulo