[gambit-list] Running the benchmarks