[gambit-list] does gambit-c have any strategy when one day those 80 cores cpus are available?