The Statistics View provides some state and transition data.
The main view shows the quantity of processed states, relative to the currently available states. Furthermore, it shows the executed transitions. The extended view shows additional statistics for explored states and executed transitions, that led into a new statespace.