Statistics for Decision Making via Binary Decision Diagrams: A Real Case Study