A Performance Comparison of Five Algorithms for Graph Isomorphism