Bốn loại tìm kiếm
Việc kiểm tra phân loại mọi kết quả tìm thấy thành bốn loại, trong đó chỉ loại đầu tiên chứng minh rằng FET không thể tạo thời khóa biểu.
Hầu hết các công cụ kiểm tra sắp xếp các phát hiện của chúng theo mức độ nghiêm trọng mà chúng cảm nhận. Công cụ này sắp xếp chúng theo những gì nó có thể chứng minh. Báo cáo hiển thị bốn loại, luôn theo thứ tự này.
Mỗi loại là một tab với số lượng riêng. Một loại không tìm thấy gì sẽ không có tab, vì vậy bạn sẽ không thấy tab trống.
Đã chứng minh là không thể
Trên màn hình: Tính toán, không phải phỏng đoán.
Việc kiểm tra đạt được mọi phát hiện ở đây bằng cách đếm. Nó so sánh số giờ đã cam kết với các khoảng thời gian trống. Nó giảm thời gian bắt đầu hợp lệ của một tiết giảng xuống còn không. Nó tìm thấy hai tiết giảng phải diễn ra cùng lúc và chung một giáo viên.
Bạn có thể hành động dựa trên những phát hiện này mà không cần tự kiểm tra. Nếu báo cáo nói rằng một tiết giảng không có thời gian bắt đầu hợp lệ, bộ giải cũng không thể tìm thấy.
Đây là hợp đồng của công cụ. Việc kiểm tra không bao giờ báo cáo một phát hiện ở đây mà nó không thể chứng minh. Một công cụ đưa ra một cảnh báo sai là một công cụ mà bạn ngừng tin tưởng.
Lỗi
Trên màn hình: Có lẽ có điều gì đó ở đây không phải là ý bạn.
Những phát hiện này không ngăn cản việc giải quyết. Chúng cho thấy rằng các quy tắc của bạn nói điều gì đó mà bạn có thể không có ý định.
- Một quy tắc chỉ vào thứ không còn tồn tại.
- Một quy tắc nhắm vào một tiết giảng mà bạn đã tắt.
- Hai quy tắc nói chính xác cùng một điều.
- Một ưu tiên mềm không bao giờ có thể áp dụng, vì vậy FET bỏ qua nó.
Không điều nào trong số này làm cho thời khóa biểu trở nên không thể. Các quy tắc mà không ai hiểu sẽ gây ra bí ẩn cho học kỳ tới.
Điều gì làm cho tệp này khó
Trên màn hình: Đây không phải là vấn đề. Đây là công việc mà bộ giải phải thực hiện.
Không có gì ở đây là sai. Loại này mô tả áp lực trong tệp của bạn. Nó nêu tên các tiết giảng hầu như không còn chỗ trống. Nó nêu tên các phần trong tuần bị eo hẹp.
⚠ Đọc loại này trước khi bạn làm cho tuần trở nên eo hẹp hơn.
Tiêu đề thay đổi đối với một tệp đã được giải quyết. Sau đó, nó đọc Điều gì đã làm cho tệp này khó, vì công việc đã hoàn thành.
Điều gì đã chạy trên tệp này
Trên màn hình: Các loại quy tắc chúng tôi liệt kê và đếm, không bao giờ đánh giá.
Loại này im lặng, và nó báo cáo về chính việc kiểm tra chứ không phải về tệp của bạn. Nó liệt kê các loại quy tắc mà nó đã đếm. Nó cho bạn biết khi nào chế độ giải quyết của bạn ngăn một kiểm tra chạy. Nó cho bạn biết khi nào kiểm tra dừng sớm trên một tệp rất lớn.
Đọc loại này khi báo cáo trông trống rỗng hơn bạn mong đợi. Nó thường giải thích lý do.
Một tab bị thiếu không phải là một sự đảm bảo
Việc kiểm tra báo cáo những gì nó có thể chứng minh. Không có nghĩa là mọi thứ khác đều đúng.
Không có tab "Đã chứng minh là không thể" có nghĩa là "không có gì được chứng minh là không thể". Nó không có nghĩa là "điều này sẽ giải quyết được".
⚠ Đây là câu quan trọng nhất trên trang, và màn hình làm cho nó dễ bị bỏ qua: tab đơn giản là không có, vì vậy không có gì để đọc và không có gì để nhấp. Việc không có là kết quả tốt, không phải là kết quả hoàn chỉnh.
Một thời khóa biểu có thể khả thi về mặt tính toán nhưng vẫn khiến FET mất nhiều thời gian. Nó vẫn có thể cần các quy tắc được nới lỏng trước khi nó được áp dụng. Xem Những gì nó không thể cho bạn biết.