Rename sokodan-p1.pddl to sokoban-p1.pddl