3 ms·IIRC iPhone did well on SMT solver benchmarks as well.by vmchale 6y agoIIRC iPhone did well on SMT solver benchmarks as well.