Што не може да ви каже

Проверката е намерно конзервативна. Знаењето каде застанува е она што ви овозможува да му верувате на делот што не застанува.

Чист извештај не е ветување за решение

Проверката докажува неможност. Не може да докаже можност.

Сè што може да достигне излезе во ред. Дали FET потоа ќе најде распоред, и колку време ќе му треба, е друго прашање на кое одговара само решавањето.

Еден распоред може да ја помине секоја проверка овде и сепак да биде навистина тежок — бидејќи тешкотијата е во тоа како изборите комуницираат низ илјадници часови, а не во тоа што некоја поединечна бројка е мала.

Бројот на тежина е индикатор

Извештајот содржи оценка за тежина, и на него пишува дека е индикатор, а не пресуда. Третирајте го како отчитување на температура: корисно за споредување на вашиот распоред со самиот себе пред и по промена, а не како предвидување за успех.

Високиот број е причина да се погледне каде е притисокот, а не причина да се очекува неуспех.

Некои броења зависат од вашиот режим на решавач

Поголемиот дел од проверката работи во секој режим. Каде може легално да започне еден час, што оставаат правилата откако ќе се применат сите, и што тоа подразбира за часовите поврзани со него — ден е ден и термин е термин, без оглед на режимот.

Она што застанува е сè што брои недела. Часови неделно наспроти термините што ги содржи една недела, колку дена треба да се распореди еден предмет, празнините помеѓу часовите во една недела. Во режимот „Термини“, неделата не е единицата на која личи, а броењето низ целата листа на денови би рекло дека имате ПОВЕЌЕ простор отколку што имате. Тоа е единствената насока во која доказот никогаш не смее да биде погрешен, па тие проверки се задржуваат наместо да се претпоставуваат.

Хигиенските проверки — висечки референци, правила насочени кон исклучени активности, дупликати — се применуваат без оглед на режимот во кој сте.

Ако некој дел пријавува помалку наоди отколку што очекувавте, вреди да се провери режимот пред правилата. Видете Режими на решавач.

Некои работи се намерно отсутни

Правило што FET го обезбедува за себе не се пријавува како исчезнато, бидејќи се додава кога се пишува датотеката. Пријавувањето би било постојан лажен аларм за нешто што никогаш не е навистина погрешно.

Поопшто: каде што проверката не може да одлучи, таа не кажува ништо наместо да погодува. Таа тишина е намерна одлука, и тоа е причината зошто докажано-невозможен наод може да се верува без верификација.

Не ги проверува вашите намери

Ништо овде не знае што навистина му треба на вашето училиште. Еден распоред може да биде докажливо возможен, брзо да се реши, и сепак да го стави секој час по природни науки во петок попладне.

Проверката одговара дали ова може да се изгради. Дали треба да се изгради, сè уште е ваше.

Каде да одите понатаму

• Што прави пред-летната проверка
• Четирите видови наоди
• Увиди — за обликот на распоред што веќе постои.