BEEM: Properties of State Spaces

This page provides summary information about properties of state spaces of models in the benchmark set. Detailed information about each model and its state space is on pages about models.

Most of the studied properties are described in the Typical Structural Properties of State Spaces research paper.

Note that all the provided graphs are automatically generated. Hence in some cases, the graphics is not very good.

• Information about a single parameter:
  • Avg back level edge length
  • Back level edges (%)
  • BFS height
  • Max back level edge length
  • BFS max level (%)
  • Average degree
  • Maximal in-degree
  • Maximal out-degree
  • DFS back edges (%)
  • DFS cross edges (%)
  • DFS front edges (%)
  • DFS max stack (%)
  • DFS shortest cycle
  • 4-clustering coeficient
  • Diamonds (%)
  • Average 4-neighborhood size
  • RW coverage (%)
  • Number of SCCs
  • Height of SCC quotient graph
  • Size of the largest component (%)
  • Nontrivial height of SCC quotient graph
• Visual comparison of graphs of properties:
  • BFS levels
  • BFS levels all
  • DFS stack
  • In-degrees
  • Out-degrees
  • RW coverage timeline
  • Back level edges lengths
• Lists of histograms/boxplots:
  • Histograms
  • Boxplot type
  • Boxplot classification
  
  Main page