The 'browse database' window. Currently the Berge graphs are selected. The window shows complexity of the Independent Set problem on Berge graphs (polynomial) and its super-, sub-, and equivalent classes.
The boundary between polynomial/NP-complete for the Independent Set problem, as seen when starting from bridged graphs. Red classes are NP-Complete, dark green are polynomial, light green are linear, while white are still open.
Finding and drawing the relation between $2K2$ and $(2K2,C4,C5)$-free graphs. The system calculates that $(2K2,C4,C5)$-free graphs are a subclass of $2K2$-free graphs and draws all classes that are superset of one and a subset of the other class.