Simply change the input file name in the sokoban_solver.py at Sokoban/sokoban_solver.py Line 10 in 8a3fe41 with open("./benchmarks-fixed/sokoban-04.txt", "r") as file: and run python3 sokoban_solver.py