[model-checking] Корректировка времени консультации