Sokoban Automatic Solver Ver7.3.1 (Command line version)
Download  (2021/10/20 update)
https://computerpuzzle.net/english/sokoban/ver731/takaken731c.exe
How to use
"-in" for the level file to be solved
"-out" for the output file
"-time" for the time (sec)

For instance:
    takaken731c.exe -in level.sok -out result.txt -time 600

In level file, you can use "-" and "_" instead of spaces.