Storyboard ReachabilitGraphSameCertificatesNonIsomorphic

graph 1 two rings of two nodes

graph 2 one ring of four nodes

compute certificates

Both certificates are equal: true

5*4 6*1 3: 1: num: 0 prev: 1 next: 1 graph: 2 4: 2: nodes: 1 1 1 1 5: 3: num: 0 prev: 3 next: 3 graph: 4 6: 4: nodes: 3 3 3 3 1: Node 2: SimpleState

Check: Graphs are not isomorphic: false