SMT Solving on an iPhone
https://homes.cs.washington.edu/~bornholt/post/z3-iphone.html [homes.cs.washington.edu]
2018-11-08 15:32
I’ve been seeing discussion for a while about the incredible progress Apple’s processor design team is making, and how it won’t be too long until Macs use Apple’s own ARM processors. These reports usually cite some cross-platform benchmarks like Geekbench to show that Apple’s mobile processors are at least as fast as Intel’s laptop and desktop chips. But I’ve always been a little skeptical of these cross-platform benchmarks (as are others)—do they really represent the sorts of workloads I use my Macs for?
At least one practical benchmark.
source: L