adds comparison between backtracking and arc-consistency