A Comparison of Algorithms for the Maximum Clique Problem