An automated solver for sokoban puzzles to better understand informed search methods