Circuit 1 contains 11969 devices, Circuit 2 contains 11969 devices. Circuit 1 contains 3123 nets, Circuit 2 contains 3123 nets. Circuits match with 1774 symmetries. Resolving automorphisms by property value. Resolving automorphisms by pin name. Netlists match with 1774 symmetries. Circuits match correctly. Result: Circuits match uniquely.