Code used to set-up and run the FatGHoL benchmarks