Pour moi Ctrl+R c'est un simple refresh normal, équivalent de F5.
Par contre faire Ctrl+F5 force un rafraichissement total, en supprimant tout ce qui se trouve en cache.
Par contre je ne saurais pas dire si ça force également une nouvelle résolution DNS.