Admittedly, I have never actually attempted to withdraw more than about 1000 CHF from an ATM. I just assumed the limit is the same as the debit card tx limit, which I have definitely hit.