added clique_covering_number, several properties