Sounds it, thanks. Had to update the yermux app first to see it. Yes, z3 performs slightly betteron aarch64. But performance seems to be mostly cache dependent

Sounds it, thanks. Had to update the yermux app first to see it. Yes, z3 performs slightly betteron aarch64. But performance seems to be mostly cache dependent. Also, z3 is threades which would favor Apple with their fewer but faster cores compare to others with more but weaker cores.