Die Statistik-Ansicht liefert diverse Zustands- und Übergangsdaten.
Die Hauptansicht zeigt die Anzahl der bisher erkundeten Zustände im Verhältnis zu der Zahl der aktuell verfügbaren Zustände sowie alle ausgeführten Transitionen. Die erweiterte Ansicht zeigt zusätzliche Statistiken zum einen zu den bisher erkundeten Zuständen, zum anderen zu den bisher ausgeführten Transitionen, die in einen neuen Zustandsraum geführt haben.