On the speed of constraint propagation and the time complexity of arc consistency testing