Describe Z3 performance quirk