Какая ширина зала в Политехе?

При обсуждении с одним из подписчиков мы задались вопросом, а действительно ли ширина мини-футбольного зала в Политехе 20 метров, как это указано в анонсах?