Add SEQ benchmark graph_coloring