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