Experiments in quadratic 0–1 programming