20Mhz
07/27/2020, 1:51 PMCircuit 1 contains 106880 devices, Circuit 2 contains 106880 devices.
Circuit 1 contains 12008 nets, Circuit 2 contains 12008 nets.
Circuits match with 5586 symmetries.
Netlists match with 5586 symmetries.
It seem it run for ~5 hours last night, but then I kill it to test the magic fix.