bliss.Stats

class bliss.Stats(nof_nodes, nof_leaf_nodes, nof_bad_nodes, nof_canupdates, nof_generators, max_level, group_size)

Search space statistics and automorphism group size returned by bliss.

Attributes:

• nof_nodes - the number of nodes in the search tree.

• nof_leaf_nodes - the number of leaf nodes in the search tree.

• nof_bad_nodes - the number of bad dead-end nodes in the search tree.

• nof_canupdates - the number of canonical labeling updates.

• nof_generators - the number of generating automorphisms.

• max_level - the depth of the search tree.

• group_size - the size of the automorphism group.