SAT vs. translation based decision procedures for modal logics: a comparative evaluation