Empirical analysis of complexity with contract programmation