Estadísticas de BDD algorithms to perform hard analysis operations on variability models