[gambit-list] Thread scheduling