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