The slicing technique for the evaluation of the formal efficiency: A comparative study