Micmac , you misunderstand my post. Its nothing at all to do with the engineering properties of the local rock or concrete, its more a case of how the local in situ streses are redistributed as mining progresses. It's a difficult concept to understand without formal training in mine engineering.
As an example in most coal mines........ low strength rock at relatively shallow depths, its common for the floor to heave upwards by 2 or 4 or 6 feet over a period of a few years at most. Do you think your concrete mix could withstand those kind of stresses?? Similarily block caving can completely collapse underground workings within weeks or months despite the application of steel rockbolts, 100mm of shotcrete AND concrete on the floor.
Let me put it another way, the expression "solid as a rock" is any oxymoron..... in the underground evironment it is moving all the time, the only question is whether its millimeters over decades or several inches / feet in less than a few weeks.