Statistics for Efficient Reasoning Techniques for Large Scale Feature Models