Added maximal time for clique enumeration -t. Fixed a bug, where edge calculations did not finish.