Što vam ne može reći

Provjera je namjerno konzervativna. Znati gdje prestaje omogućuje vam da vjerujete dijelu koji ne prestaje.

Čisto izvješće nije obećanje rješenja

Provjera dokazuje nemogućnost. Ne može dokazati mogućnost.

Sve što je mogla doseći ispalo je u redu. Hoće li FET zatim pronaći raspored, i koliko će mu vremena trebati, druga je stvar na koju samo rješavanje daje odgovor.

Raspored može proći svaku provjeru ovdje i još uvijek biti istinski težak — jer se poteškoća odnosi na to kako se izbori međusobno djeluju kroz tisuće lekcija, a ne na to da je bilo koji pojedinačni broj prekratak.

Broj težine je pokazatelj

Izvješće sadrži ocjenu težine, a na njemu piše da je to pokazatelj, a ne presuda. Tretirajte to kao mjerenje temperature: korisno za usporedbu vašeg rasporeda sa samim sobom prije i poslije promjene, a ne kao predviđanje uspjeha.

Visok broj je razlog da pogledate gdje je pritisak, a ne razlog za očekivanje neuspjeha.

Neko brojanje ovisi o vašem načinu rada rješavača

Većina provjere radi u svakom načinu rada. Gdje lekcija može legalno započeti, što pravila ostavljaju nakon što su sva primijenjena, i što to implicira za lekcije vezane uz nju — dan je dan i termin je termin, bez obzira na način rada.

Ono što se zaustavlja je sve što broji tjedan. Sati tjedno u odnosu na termine koje tjedan sadrži, koliko se dana predmet mora protezati, praznine između lekcija u tjednu. U načinu rada "Terms" tjedan nije jedinica kakvom se čini, a brojanje preko cijelog popisa dana reklo bi vam da imate VIŠE prostora nego što zapravo imate. To je jedini smjer u kojem dokaz nikada ne smije biti pogrešan, pa se te provjere zadržavaju umjesto da se nagađaju.

Higijenske provjere — viseće reference, pravila usmjerena na isključene aktivnosti, duplikati — primjenjuju se bez obzira u kojem ste načinu rada.

Ako odjeljak prijavljuje manje nalaza nego što ste očekivali, vrijedi provjeriti način rada prije pravila. Pogledajte Načini rada rješavača.

Neke stvari namjerno nedostaju

Pravilo koje FET sam sebi osigurava ne prijavljuje se kao nedostajuće, jer se dodaje kada se datoteka piše. Prijavljivanje bi bila trajna lažna uzbuna o nečemu što nikada zapravo nije pogrešno.

Općenitije: tamo gdje provjera ne može odlučiti, ne govori ništa umjesto da nagađa. Ta tišina je namjeran izbor, i to je razlog zašto se dokazano nemoguć nalaz može vjerovati bez provjere.

Ne provjerava vaše namjere

Ništa ovdje ne zna što vaša škola zapravo treba. Raspored može biti dokazano moguć, brzo se riješiti i još uvijek staviti svaku lekciju iz prirodnih znanosti u petak poslijepodne.

Provjera odgovara: može li se ovo izgraditi. Treba li se to učiniti, još uvijek je na vama.

Kamo dalje

• Što radi provjera prije leta
• Četiri vrste nalaza
• Uvidi — za oblik rasporeda koji već postoji.