3 ms·It's doing symbolic equivalence checking via an SMT solver, iirc.by dons 13y agoIt's doing symbolic equivalence checking via an SMT solver, iirc.