模型检查结果