The role of experiment in the theory of algorithms