四种查找
检查将所有发现分为四类，只有第一类证明FET无法生成课表。
大多数检查工具根据其严重程度对发现结果进行排序。本工具则根据其可证明性进行排序。报告显示四种类型，始终按此顺序排列。
每种类型都是一个带有其自身计数的标签页。 未发现任何内容的类型将没有标签页，因此您不会看到空的标签页。
已证明不可能
屏幕显示：算术证明，而非猜测。
检查通过计数得出此处的每个发现。它将已承诺的课时与空闲时段进行比较。它将一个活动的合法开始时间减少到零。它发现两个活动必须同时进行并共享一名老师。
您无需自行检查即可根据这些发现采取行动。如果报告称某个活动没有合法的开始时间，则求解器也无法找到。
这是本工具的承诺。 检查绝不会报告此处无法证明的发现。一个发出一次虚假警报的工具，您就会停止相信它。
错误
屏幕显示：这里的内容可能并非您所指。
这些发现不会阻止求解。它们表明您的规则可能表达了您不打算表达的内容。
- 一条规则指向了不再存在的事物。
- 一条规则针对了您已关闭的活动。
- 两条规则表达了完全相同的内容。
- 一个软偏好永远无法应用，因此FET会忽略它。
这些都不会使课表变得不可能。没有人理解的规则会导致下学期的谜团。
是什么让此文件变得困难
屏幕显示：这不是问题。这是求解器必须完成的工作。
这里没有任何错误。这种类型描述了您文件中的压力。它指出了几乎没有剩余空间的活动。它指出了每周中时间紧张的部分。
⚠ 在您使每周时间更紧张之前，请阅读此类型。
对于已求解的文件，标题会改变。它将显示是什么让此文件变得困难，因为工作已完成。
此文件上运行了什么
屏幕显示：我们列出并计数的规则类型，从不评判。
这种类型是安静的，它报告的是检查本身，而不是您的文件。它列出了它所计数的规则类型。它告诉您何时您的求解器模式阻止了检查运行。它告诉您何时检查在一个非常大的文件上提前停止。
当报告看起来比您预期的更空时，请阅读此类型。它通常会解释原因。
缺少标签页并非保证
检查报告它能证明的内容。这并不意味着其他一切都是正确的。
没有“已证明不可能”标签页意味着“没有内容被证明不可能”。 这并不意味着“这将得到解决”。
⚠ 这是页面上最重要的句子，屏幕上很容易错过：该标签页只是不存在，因此没有什么可读的，也没有什么可点击的。不存在是好的结果，但不是完整的结果。
一个课表在算术上可能是可行的，但仍然需要FET很长时间才能完成。在最终确定之前，它可能仍然需要放宽规则。请参阅它无法告诉您的内容。