[model-checking] Результаты проверки решений практикума