SPL rules allow penalized robots to return during game stoppages, not only in the set state
Switched 10 seconds timer to timestamp

In addition, the label switching of the global game stuck button also uses the same timestamp.