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