Сколько варить шампиньоны для супа?

По рецепту шампиньоны в суп кладут ближе к концу, когда все овощи уже сварились, а дальше написано, что варить суп до готовности грибов, а сколько это по времени не написано. Как определяют готовность шампиньонов я не знаю, легче ориентироваться по минутам. Сколько варить шампиньоны для супа?