Angeblich schwere 5x5 Latin-Square-Rätsel

In letzter Zeit bin ich absolut beschäftigt und zerstreut, sowohl geistig als auch materiell. Letztes Jahr habe ich mich für einen Masterprogramm in Computerlinguistik an der Universität Tübingen beworben und vor fast einem Monat bin ich mit meiner Frau nach Deutschland gezogen und seit der Abreise ist unserer Alltag komplett umgeworfen. Trotzdem habe ich es nicht inzwischen geschafft, meine Hobbyprojektsucht einzuschränken, um an meine reduzierte und unregelmäßigere Freizeit anzupassen...

Deshalb wird dieser Blogeintrag sehr knapp sein und im Grunde nur aus ein paar Rätsel bestehen. Sie sind im Format der Latin-Square-Rätsel aus dem deutschen TestAS. In einem solchen Rätsel bekommt man eine 5x5 Matrix, in der viele Kisten leer sind, einige Kisten eine Buchstabe zwischen A und E enthalten, und eine Kiste das Fragezeichen "?" enthält. Vorausgesetzt, dass die ausgefüllte Kisten Teil eines lateinischen Quadrats sind, in dem jede Buchstabe A-E genau einmal in jeder Reihe und in jeder Spalte vorkommt, soll man logisch den passenden Buchstabe für die mit dem Fragezeichen markierten Kiste folgern.

Folgendes ist ein einfaches Beispielrätsel von der TestAS-Webseite:

Man sollte diese Rätsel ziemlich schnell lösen können, und zwar ohne Schmierpaper, sondern nur dem eigenen Gedächtnis. Natürlich fragte ich mich wie schwer solchen Rätsel sein können (wenn man sich auf nur 5x5 Latin-Squares beschränkt, also nichts Größeres). Dazu schrieb ich eine Haskellfunktion, um solche Rätsel durch Folgen von atomischen logischen Folgerungen zu lösen, und danach noch eine Funktion, um nach Rätsel stichprobenartig zu suchen, die "schwer zu lösen" für sie waren. Hier unten sind einige von ihnen.

(Ich frage mich, ob sich einige von ihren Lösungen trotzdem sehr knapp bewiesen lassen, wenn man besonders kreativ/schlau denkt.)

Puzzle 1

Puzzle 2

Puzzle 3

Puzzle 4

Puzzle 5

Puzzle 6

Puzzle 7

Puzzle 8

Puzzle 9