Does anyone have any idea that how much approximately they have raised from users for mining ?
Nope. And I'd say that the BTC are lost - unless someone comes forward with some useful information. Until now, the only information we have is that there is no information.
Probably we should set up a reward system for future cases like this...