Experiments with depth-first search and pruning