[model-checking] Итоги дедлайна по первому заданию