Efficiency Validation for the OVM-based Variability Tracing Method