Ja, Banksia GUI bezeichnet es in der Liste der gespielten bzw. abgebrochenen/gecrashten Partien als "Crash". Die Bedenkzeit in der GUI hatte ich wie es sein soll hochgestellt.