[model-checking] Проставление оценок и пересдача