This gallery shows summaries of ctgov dataset. This small dataset summarizes very well, showing the tabular nature of the data. One can note that there are less inlined leaves in both Strong and 1fw summaries than there are in 1fb. It shows that even the most sophisticated bisimulation summary suffers from its design and only forward summary in this example fits the data better. While 1fw provides a good output graph, the Strong summary is no worse.
