gitdir: ../../../../.git/modules/data/benchmarks/miniF2F
