Experiments in backtracking