Die vier Sucharten
Die Überprüfung ordnet jedes Ergebnis in vier Arten ein; nur die erste Art beweist, dass FET den Stundenplan nicht erstellen kann.
Die meisten Prüfwerkzeuge sortieren ihre Ergebnisse danach, wie schwerwiegend sie erscheinen. Dieses hier sortiert sie danach, was es beweisen kann. Der Bericht zeigt vier Arten, immer in dieser Reihenfolge.
Jede Art ist ein Tab mit eigener Zählung. Eine Art, die nichts gefunden hat, hat keinen Tab, sodass Sie keinen leeren sehen werden.
Nachweislich unmöglich
Auf dem Bildschirm: Arithmetik, keine Vermutung.
Die Prüfung gelangt zu jedem Ergebnis hier durch Zählen. Sie vergleicht zugesagte Stunden mit freien Zeitfenstern. Sie reduziert die zulässigen Startzeiten einer Aktivität auf null. Sie findet zwei Aktivitäten, die gleichzeitig stattfinden müssen und sich einen Lehrer teilen.
Sie können auf diese Ergebnisse reagieren, ohne sie selbst zu überprüfen. Wenn der Bericht besagt, dass eine Aktivität keine zulässige Startzeit hat, kann der Löser auch keine finden.
Dies ist der Vertrag des Werkzeugs. Die Prüfung meldet hier niemals ein Ergebnis, das sie nicht beweisen kann. Ein Werkzeug, das einen Fehlalarm auslöst, ist ein Werkzeug, dem Sie nicht mehr glauben.
Fehler
Auf dem Bildschirm: Etwas hier ist wahrscheinlich nicht das, was Sie gemeint haben.
Diese Ergebnisse verhindern keine Lösung. Sie zeigen, dass Ihre Regeln etwas besagen, das Sie wahrscheinlich nicht beabsichtigt haben.
- Eine Regel verweist auf etwas, das nicht mehr existiert.
- Eine Regel zielt auf eine Aktivität, die Sie deaktiviert haben.
- Zwei Regeln besagen genau dasselbe.
- Eine weiche Präferenz kann niemals angewendet werden, daher ignoriert FET sie.
Nichts davon macht einen Stundenplan unmöglich. Regeln, die niemand versteht, verursachen das Rätsel des nächsten Semesters.
Was diese Datei schwierig macht
Auf dem Bildschirm: Dies ist kein Problem. Es ist die Arbeit, die der Löser leisten muss.
Hier ist nichts falsch. Diese Art beschreibt den Druck in Ihrer Datei. Sie nennt die Aktivitäten, die fast keinen Spielraum mehr haben. Sie nennt die Teile der Woche, die eng sind.
⚠ Lesen Sie diese Art, bevor Sie die Woche enger gestalten.
Die Überschrift ändert sich für eine gelöste Datei. Sie lautet dann Was diese Datei schwierig gemacht hat, weil die Arbeit abgeschlossen ist.
Was mit dieser Datei ausgeführt wurde
Auf dem Bildschirm: Regeltypen, die wir auflisten und zählen, niemals bewerten.
Diese Art ist unauffällig und berichtet über die Prüfung selbst und nicht über Ihre Datei. Sie listet die gezählten Regeltypen auf. Sie sagt Ihnen, wann Ihr Löser-Modus eine Prüfung am Laufen hindert. Sie sagt Ihnen, wann die Prüfung bei einer sehr großen Datei vorzeitig beendet wurde.
Lesen Sie diese Art, wenn der Bericht leerer aussieht, als Sie erwartet haben. Sie erklärt normalerweise, warum.
Ein fehlender Tab ist keine Garantie
Die Prüfung meldet, was sie beweisen kann. Daraus folgt nicht, dass alles andere korrekt ist.
Kein "Nachweislich unmöglich"-Tab bedeutet "nichts wurde als unmöglich erwiesen". Es bedeutet nicht "dies wird sich lösen lassen".
⚠ Dies ist der wichtigste Satz auf der Seite, und der Bildschirm macht es leicht, ihn zu übersehen: Der Tab ist einfach nicht vorhanden, sodass es nichts zu lesen und nichts anzuklicken gibt. Abwesenheit ist das gute Ergebnis, nicht das vollständige.
Ein Stundenplan kann arithmetisch möglich sein und FET trotzdem lange Zeit in Anspruch nehmen. Es kann immer noch erforderlich sein, Regeln zu lockern, bevor er zustande kommt. Siehe Was es Ihnen nicht sagen kann.