The real number is probably much higher. I routinely play games on my Arch laptop that are neither verified nor marked as playable.