[model-checking] Статистика решенных заданий