Just a rough guesstimate, I'd say somewhere from 100-500 btc was lost in this mess.
It was apparently more then that. According to
this thread, all the
BTC was sent to a single
address, and totals just shy of 5,750
BTC.
Couldnt have lost the whole 5750btc cause there had to be some payouts from some address. I havent checked the addy but there are onlyincomming transactions on it?
Well, if you assume that address belongs to the person behind Hashocean (I have not looked into it), then 5,750
BTC is the amount that the owner stole from it's customers. It appears that someone has sent a number of transactions to merge together inputs that were in other addresses in his wallet into one single input. The person behind hashocean would have received a larger amount of money from his customers and used some of that money in order to pay what they claimed to be mining revenue.
If someone can post their deposit address, then I can take a look and see if that address likely belongs to hashocean or not.