Os quatro tipos de busca
A verificação classifica cada achado em quatro tipos, e apenas o primeiro prova que o FET não pode gerar a Grade.
A maioria das ferramentas de verificação classifica seus achados pela gravidade que sentem. Esta os classifica pelo que pode provar. O relatório mostra quatro tipos, sempre nesta ordem.
Cada tipo é uma aba com sua própria contagem. Um tipo que não encontrou nada não tem aba, então você não verá uma vazia.
Provado impossível
Na tela: Aritmética, não um palpite.
A verificação chega a cada achado aqui por contagem. Ela compara as horas comprometidas com os períodos livres. Reduz os horários de início legais de uma atividade a zero. Encontra duas atividades que devem ocorrer ao mesmo tempo e compartilhar um docente.
Você pode agir sobre esses achados sem verificá-los você mesmo. Se o relatório diz que uma atividade não tem horário de início legal, o resolvedor também não pode encontrar um.
Este é o contrato da ferramenta. A verificação nunca relata um achado aqui que não possa provar. Uma ferramenta que levanta um falso alarme é uma ferramenta em que você para de acreditar.
Erros
Na tela: Algo aqui provavelmente não é o que você quis dizer.
Esses achados não impedem uma resolução. Eles mostram que suas regras dizem algo que você provavelmente não pretendia.
- Uma regra aponta para algo que não existe mais.
- Uma regra visa uma atividade que você desativou.
- Duas regras dizem exatamente a mesma coisa.
- Uma preferência flexível nunca pode ser aplicada, então o FET a ignora.
Nenhuma dessas coisas torna uma Grade impossível. Regras que ninguém entende causam o mistério do próximo período.
O que torna este arquivo difícil
Na tela: Isso não é um problema. É o trabalho que o resolvedor deve fazer.
Nada aqui está errado. Este tipo descreve a pressão em seu arquivo. Ele nomeia as atividades que quase não têm espaço restante. Ele nomeia as partes da semana que estão apertadas.
⚠ Leia este tipo antes de tornar a semana mais apertada.
O título muda para um arquivo resolvido. Ele então lê O que tornou este arquivo difícil, porque o trabalho está completo.
O que foi executado neste arquivo
Na tela: Tipos de regras que listamos e contamos, nunca julgamos.
Este tipo é discreto e relata sobre a própria verificação, em vez de sobre seu arquivo. Ele lista os tipos de regras que contou. Ele informa quando seu modo de resolvedor impede que uma verificação seja executada. Ele informa quando a verificação parou cedo em um arquivo muito grande.
Leia este tipo quando o relatório parecer mais vazio do que você esperava. Geralmente, ele explica o porquê.
Uma aba ausente não é uma garantia
A verificação relata o que pode provar. Não significa que todo o resto esteja correto.
Nenhuma aba "Provado impossível" significa "nada foi provado impossível". Não significa "isso será resolvido".
⚠ Esta é a frase mais importante da página, e a tela facilita a sua perda: a aba está simplesmente ausente, então não há nada para ler e nada para clicar. A ausência é o bom resultado, não o completo.
Uma Grade pode ser possível em aritmética e ainda levar muito tempo para o FET. Ainda pode precisar de regras flexibilizadas antes de ser concluída. Veja O que ele não pode dizer a você.