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