Circuit 1 contains 75500 devices, Circuit 2 contains 75500 devices. Circuit 1 contains 17710 nets, Circuit 2 contains 17710 nets. Circuits match with 11483 symmetries. Resolving automorphisms by property value. Resolving automorphisms by pin name. Netlists match with 11478 symmetries.