Het vermoedensvenster bestaat uit drie delen. Bovenaan kan je de grafen en invarianten zien die beschikbaar zijn voor de vermoedensgenerator. Je kan zelf grafen en invarianten toevoegen aan de lijst. In het middelste gedeelte heb je de sectie met de basisinvariantkiezer en de vermoedensknop . Onderaan heb je de output van de vermoedensgenerator.