Verifiers benchmark Preprocessing methods