[model-checking] Информация о конкурсе по анализу данных