Why not compare against a tunnel borer of the same size?
The world's fastest tunnel borer of that size was for the tunneling of the blue mountains (described here: https://www.therobbinscompany.com/the-worlds-fastest-tbm/). That was more than 25 years ago and even at it's average speed over the whole project, it was doing 1800ft 4 times faster than Boring company's "amazingly fast" borer.
A more typical example boring through very hard rock does ~700 ft per month: https://www.therobbinscompany.com/midhalton/
Or how about a larger tunnel w/ 160gal/s of water inflow doing 1600ft in a month: https://www.therobbinscompany.com/gerede-breakthrough/
If there's something special about the Boring company (unlikely) it's definitely not its boring ability. They just buy a used boring machine and they don't even have the expertise to do anything interesting with it.
Rockets were a small enough niche that there were improvements possible if someone invested in them. It isn't clear if such improvements are even possible. (meaning they might be)
That's a little more than 1 mile/yr, an average number that includes overhead like moving the TBMs between the different boring sites. And the cutting surface area (which multiplies linear speed to give material removal rate) is (20/14)^2 = 2.04 times bigger for Crossrail than the Boring Co. machines.
Big Bertha dug under the downtown of a city with existing tunnels and utilities. The Las Vegas tunnel is mostly under parking lots with no obstructions.
> With a typical minimum depth of 30 feet, The Boring Company tunnels are well beneath most utilities, which are typically less than 10 feet below the surface. In circumstances where a utility is located deeper, the tunnel depth is increased accordingly.
I've been to the site. I've seen the machines and the pit. I have no doubt about what I've seen.
edit: Oops I accidentally misunderstood your questioning. Surely that must be miles per year.
But I will note that "m" is used in the common distance-over-time unit of mph.
Big Bertha - 3.5 years, ~1.75 miles, 1.5 m/yr
Boring - .15 years, .35 miles, 2.33 m/yr