SF8 ist natürlich ein Extremfall, die Rechenleistung erlaubt hier eine tiefe Suche bis (fast) zur Entscheidung. Aber der Unterschied zwischen Tb3 und Txb6 wäre wirklich aufschlussreich.