四種查找
檢查結果分為四種類型，其中只有第一種類型證明FET無法建立課表。
大多數檢查工具會根據其認為的嚴重程度來排序發現的問題。本工具則根據其能證明的事實來排序。報告顯示四種類型，始終按此順序排列。
每種類型都是一個帶有其計數的標籤頁。 如果某種類型沒有發現任何問題，則不會有該標籤頁，因此您不會看到空的標籤頁。
已證明不可能
螢幕上顯示：算術結果，而非猜測。
檢查透過計數得出此處的每個發現。它將已承諾的時數與可用時段進行比較。它將一個教學班的合法開始時間減少到零。它發現兩個教學班必須同時進行並共用一位老師。
您可以根據這些發現採取行動，而無需自行檢查。如果報告指出一個教學班沒有合法的開始時間，則求解器也無法找到。
這是本工具的承諾。 檢查絕不會報告其無法證明的發現。一個會發出虛假警報的工具，您將不再相信它。
錯誤
螢幕上顯示：這裡的某些內容可能不是您所指的。
這些發現不會阻止求解。它們顯示您的規則所說的內容可能並非您本意。
- 一條規則指向不再存在的內容。
- 一條規則針對您已關閉的教學班。
- 兩條規則說的內容完全相同。
- 一個軟性偏好永遠無法應用，因此 FET 會忽略它。
這些都不會讓課表變得不可能。沒有人理解的規則會導致下學期的謎團。
是什麼讓此檔案難以處理
螢幕上顯示：這不是問題。這是求解器必須完成的工作。
這裡沒有任何錯誤。這種類型描述了您檔案中的壓力。它列出了幾乎沒有剩餘空間的教學班。它列出了每週時間緊迫的部分。
⚠ 在您讓每週時間變得更緊迫之前，請閱讀此類型。
已求解的檔案，標題會改變。它會顯示為是什麼讓此檔案難以處理，因為工作已完成。
此檔案上執行的內容
螢幕上顯示：我們列出並計數的規則類型，從不判斷。
這種類型很安靜，它報告的是檢查本身，而不是您的檔案。它列出了它計數的規則類型。它會告訴您何時您的求解器模式阻止了檢查運行。它會告訴您何時檢查在非常大的檔案上提前停止。
當報告看起來比您預期的更空時，請閱讀此類型。它通常會解釋原因。
缺少標籤頁並不保證一切正常
檢查報告它能證明的事實。這並不意味著其他一切都是正確的。
沒有「已證明不可能」標籤頁意味著「沒有任何事情被證明不可能」。 這並不意味著「這將會被求解」。
⚠ 這是頁面上最重要的句子，螢幕上很容易錯過：該標籤頁只是不存在，因此沒有什麼可讀的，也沒有什麼可點擊的。不存在是好的結果，但不是完整的結果。
一個課表在算術上可能是可行的，但仍然需要 FET 花費很長時間。在它最終確定之前，可能仍然需要放寬規則。請參閱它無法告訴您的內容。