If they were mining cryptocurrency with them, it wouldn't be any ASIC dominated coins because, just like @joniboini said, it wouldn't be profitable at all.

If you go to https://whattomine.com/coins and then click on 'GPU' at the top, you can see a list of all the most profitable coins there is that you would mine with a GPU, or in this case, a PS4