[gambit-list] SMP status