let graph_exploration_names = [
    Fwd_dfs, "fwd-dfs" ;
    Fwd_bfs, "fwd-bfs" ;
    Bwd_dfs, "bwd-dfs" ;
    Bwd_bfs, "bwd-bfs" ;
    Mixed,   "mixed"
  ]