Interesting article. This bit was not what I was expecting:

Today, rock tunneling machines have achieved tunneling rates of over 700 meters per week, and soil tunneling machines have achieved rates of over 200 meters per week, though this is dependent on the size of the TBM

Ie, that rock tunneling can be > 3x quicker than soil tunneling.