Els quatre tipus de cerca
La comprovació classifica cada troballa en quatre tipus. Només el primer tipus demostra que FET no pot construir l'horari.
La majoria d'eines de verificació ordenen les seves troballes segons la gravetat que perceben. Aquesta les ordena segons el que pot provar. L'informe mostra quatre tipus, sempre en aquest ordre.
Cada tipus és una pestanya amb el seu propi recompte. Un tipus que no ha trobat res no té pestanya, per tant, no en veuràs cap de buida.
Demostrat impossible
A la pantalla: Aritmètica, no una suposició.
La verificació arriba a cada troballa aquí comptant. Compara les hores compromeses amb les franges lliures. Redueix els horaris d'inici legals d'una activitat a cap. Troba dues activitats que han de tenir lloc al mateix temps i compartir un professor.
Pots actuar sobre aquestes troballes sense comprovar-les tu mateix. Si l'informe diu que una activitat no té un horari d'inici legal, el resolutor tampoc en pot trobar cap.
Aquest és el contracte de l'eina. La verificació mai informa d'una troballa aquí que no pugui provar. Una eina que genera una falsa alarma és una eina en la qual deixes de creure.
Errors
A la pantalla: Probablement, alguna cosa aquí no és el que volies dir.
Aquestes troballes no impedeixen una resolució. Mostren que les teves regles diuen alguna cosa que probablement no volies.
- Una regla apunta a alguna cosa que ja no existeix.
- Una regla s'adreça a una activitat que has desactivat.
- Dues regles diuen exactament el mateix.
- Una preferència suau mai es pot aplicar, així que FET la ignora.
Cap d'aquests fa que un horari sigui impossible. Les regles que ningú entén causen el misteri del proper trimestre.
Què fa que aquest fitxer sigui difícil
A la pantalla: Això no és un problema. És la feina que el resolutor ha de fer.
Aquí no hi ha res malament. Aquest tipus descriu la pressió al teu fitxer. Nomena les activitats que gairebé no tenen espai. Nomena les parts de la setmana que són ajustades.
⚠ Llegeix aquest tipus abans de fer la setmana més ajustada.
L'encapçalament canvia per a un fitxer resolt. Llavors diu Què va fer que aquest fitxer fos difícil, perquè la feina està completa.
Què es va executar en aquest fitxer
A la pantalla: Tipus de regles que llistem i comptem, mai jutgem.
Aquest tipus és discret, i informa sobre la pròpia verificació en lloc del teu fitxer. Llista els tipus de regles que va comptar. Et diu quan el teu mode de resolució impedeix que s'executi una verificació. Et diu quan la verificació es va aturar abans d'hora en un fitxer molt gran.
Llegeix aquest tipus quan l'informe sembli més buit del que esperaves. Normalment explica per què.
Una pestanya que falta no és una garantia
La verificació informa del que pot provar. No se'n dedueix que tot el demés sigui correcte.
Cap pestanya de "Demostrat impossible" significa "res no es va demostrar impossible". No significa "això es resoldrà".
⚠ Aquesta és la frase més important de la pàgina, i la pantalla fa que sigui fàcil de passar per alt: la pestanya simplement no hi és, per tant, no hi ha res a llegir ni res a fer clic. L'absència és el bon resultat, no el complet.
Un horari pot ser possible aritmèticament i tot i així prendre molt de temps a FET. Encara pot necessitar que es relaxin les regles abans que s'estableixi. Vegeu Què no et pot dir.