@samth there’s a script for that. In the gtp-benchmarks directory you can run e.g. racket utilities/make-configurations.rkt benchmarks/synth. This makes a new folder named synth-configurations in the current directory. http://docs.racket-lang.org/gtp-benchmarks/index.html#%28mod-path._gtp-benchmarks%2Futilities%2Fmake-configurations%29

Great. You might want to mention that in the readme which refers to a different non-existent script.