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