Blending multiple metrics from multiple verification engines for improved productivity