This gallery shows our 4 summaries (Weak, Strong, Typed Weak and Typed Strong) and 2 bisimulation-based summaries of a dataset of conference proceedings published at Springer (not saturated), which is available here. We can see that all our 4 summaries produce identical results. On the other hand summaries based on bisimulation are more verbose.
