It’s anecdotal. And also logical to draw the conclusion that most players would form 10mans for alt raids because they’re so much easier to form than 25.
Calling 10m harder when some randos cleared it faster than Progress cleared 25 is just hilarious to me.