2 ms·> > SAT solvers > Z3 SMT solver You are comparing different things.by tom_mellior 8y ago> > SAT solvers > Z3 SMT solver You are comparing different things.