Evaluating the Effects of the Clique Selection in Exact Graph Coloring Algorithms