eva(exer10, 2, [ok, ok], ['', ''], korrekt, 2/2).
eva(exer10, 3, [ok, ok], ['', ''], korrekt, 2/2).
eva(exer10, 5, [ok, ok, ok, ok, ok, ok, ok], [korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt], '', 7/7).
eva(exer10, 6, [ok], [korrekt], '', 1/1).

eva(exer11, 1, [ok, ok, ok, ok], [korrekt, korrekt, korrekt, korrekt], '', 4/4).
eva(exer11, 2, [ok, ok, ok, ok, ok, ok], [korrekt, korrekt, korrekt, korrekt, korrekt, korrekt], '', 6/6).
eva(exer11, 3, [ok, ok, ok, ok, ok, ok], [korrekt, korrekt, korrekt, korrekt, korrekt, korrekt], '', 6/6).
eva(exer11, 4, [ok, ok], [korrekt, korrekt], '', 2/2).
eva(exer11, 5, [ok], [korrekt], '', 1/1).
eva(exer11, 6, [nok], ['stimmt, allerdings stimmt die Praedikatsdeklaration in der Studentenloesung auch nicht mit der manuellen Praedikatsdeklaration ueberein'], '', 0/1).
eva(exer11, 7, [ok, ok], [korrekt, korrekt], '', 2/2).
eva(exer11, 8, [ok, ok], [korrekt, korrekt], '', 2/2).
eva(exer11, 10, [ok, ok, ok, ok, ok, ok], [korrekt, korrekt, korrekt, korrekt, korrekt, korrekt], '', 6/6).
eva(exer11, 11, [ok], [korrekt], '', 1/1).
eva(exer11, 12, [nok, nok, ok, ok], ['is eigentlich eine Variable', 'wieso?', korrekt, korrekt], '', 2/4).
eva(exer11, 13, [ok, ok], [korrekt, korrekt], '', 2/2).
eva(exer11, 14, [ok, ok, ok, nok], [korrekt, korrekt, 'Der Operator > is vorhanden', 'Sprachlich vielleicht besser: length(E) liefert keinen Integer-Wert'], '', 3/4).
eva(exer11, 15, [ok, ok, ok], [korrekt, korrekt, korrekt], '', 3/3).
eva(exer11, 16, [ok], [korrekt], '', 1/1).
eva(exer11, 17, [ok, ok], [korrekt, korrekt], '', 2/2).

eva(exer12, 1, [ok, ok], [korrekt, korrekt], '', 2/2).
eva(exer12, 2, [], [], korrekt, 0/0).
eva(exer12, 3, [ok], [korrekt], '', 1/1).
eva(exer12, 4, [ok, ok, ok], [korrekt, korrekt, korrekt], '', 3/3).
eva(exer12, 5, [], [], korrekt, 0/0).
eva(exer12, 6, [ok], [korrekt], '', 1/1).
eva(exer12, 7, [ok, ok], [korrekt, korrekt], '', 2/2).
eva(exer12, 8, [], [], korrekt, 0/0).
eva(exer12, 9, [ok, ok], [korrekt, korrekt], '', 2/2).
eva(exer12, 10, [ok], [korrekt], '', 1/1).
eva(exer12, 12, [ok, ok], [korrekt, korrekt], '', 2/2).
eva(exer12, 14, [], [], korrekt, 0/0).
eva(exer12, 15, [ok, ok, ok, ok, ok, ok, ok, ok, ok, ok, ok, ok, ok, ok], [korrekt, korrekt, korrekt, '', korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt], '', 14/14).
eva(exer12, 16, [ok, ok, ok, ok, ok], [korrekt, korrekt, korrekt, korrekt, korrekt], '', 5/5).
eva(exer12, 18, [], [], korrekt, 0/0).
eva(exer12, 19, [], [], korrekt, 0/0).
eva(exer12, 20, [], [], korrekt, 0/0).
eva(exer12, 21, [ok, ok], [korrekt, korrekt], '', 2/2).
eva(exer12, 22, [], [], korrekt, 0/0).
eva(exer12, 23, [], [], korrekt, 0/0).
eva(exer12, 24, [], [], korrekt, 0/0).
eva(exer12, 25, [ok, ok, ok, ok, ok, ok], [korrekt, korrekt, korrekt, korrekt, korrekt, korrekt], '', 6/6).
eva(exer12, 26, [ok, ok, ok, ok, ok, ok, ok, ok, ok, ok, ok], [korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt], '', 11/11).
eva(exer12, 27, [ok, ok], [korrekt, korrekt], '', 2/2).
eva(exer12, 28, [ok, ok, ok, ok, ok, ok, ok, ok, ok, ok, ok], [korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt], '', 11/11).
eva(exer12, 29, [ok, ok, ok, ok], [korrekt, korrekt, '', korrekt], '', 4/4).
eva(exer12, 30, [], [], korrekt, 0/0).
eva(exer12, 31, [ok, ok, ok, ok, ok, ok, ok, ok, ok], [korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt], '', 9/9).
eva(exer12, 32, [], [], korrekt, 0/0).
eva(exer12, 33, [nok], ['nicht notwendigerweise, es koennte der Versuch der Akkumulator-Variante sein'], '', 0/1).
eva(exer12, 34, [ok, ok], [korrekt, korrekt], '', 2/2).
eva(exer12, 35, [ok], [korrekt], '', 1/1).

eva(exer12, 37, [ok, ok, ok, ok, ok, ok, ok, ok], [korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt], '', 8/8).
eva(exer12, 38, [ok, ok, ok, ok], [korrekt, korrekt, korrekt, korrekt], '', 4/4).
eva(exer12, 39, [], [], korrekt, 0/0).
eva(exer12, 40, [ok], [korrekt], '', 1/1).
eva(exer12, 41, [ok, ok], [korrekt, korrekt], '', 2/2).
eva(exer12, 42, [ok], [korrekt], '', 1/1).
eva(exer12, 43, [], [], korrekt, 0/0).
eva(exer12, 44, [ok, ok], [korrekt, korrekt], '', 2/2).
eva(exer12, 45, [ok], [korrekt], '', 1/1).
eva(exer12, 46, [], [], korrekt, 0/0).
eva(exer12, 47, [ok, ok, ok, ok, ok, ok], [korrekt, korrekt, korrekt, korrekt, korrekt, korrekt], '', 6/6).
eva(exer12, 48, [ok], [korrekt], '', 1/1).
eva(exer12, 49, [ok, ok], [korrekt, korrekt], '', 2/2).
eva(exer12, 50, [ok], [korrekt], '', 1/1).
eva(exer12, 51, [], [], korrekt, 0/0).
eva(exer12, 52, [ok], [korrekt], '', 1/1).
eva(exer12, 53, [ok, ok, ok], [korrekt, korrekt, korrekt], '', 3/3).
eva(exer12, 54, [ok], [korrekt], '', 1/1).
eva(exer12, 55, [ok, ok, ok, ok], [korrekt, korrekt, korrekt, korrekt], '', 4/4).
eva(exer12, 56, [ok, ok, ok, ok, ok, ok, ok, ok, ok], [korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt], '', 9/9).
eva(exer12, 57, [ok], [korrekt], '', 1/1).
eva(exer12, 58, [ok, ok, ok, ok], [korrekt, korrekt, korrekt, korrekt], '', 4/4).


eva(exer13, 1, [ok], [korrekt], '', 1/1).
eva(exer13, 2, [], [], korrekt, 0/0).
eva(exer13, 3, [ok], [korrekt], '', 1/1).
eva(exer13, 4, [ok, ok], [korrekt, korrekt], '', 2/2).
eva(exer13, 5, [nok, ok, ok], ['Z ist 0', korrekt, korrekt], '', 2/3).
eva(exer13, 6, [ok, ok], [korrekt, korrekt], '', 2/2).
eva(exer13, 7, [], [], korrekt, 0/0).
eva(exer13, 8, [nok, ok], ['Anzahl ist 0', korrekt], '', 1/2).
eva(exer13, 10, [ok], [korrekt], '', 1/1).
eva(exer13, 11, [ok], [korrekt], '', 1/1).
eva(exer13, 12, [ok, ok, ok], [korrekt, korrekt, korrekt], '', 3/3).
eva(exer13, 13, [ok, ok, ok, ok, ok, ok, ok, ok], [korrekt, korrekt, korrekt, 'korrekt - wieso ist Anzahl in der Praedikatsdeklaration nicht rot gefaerbt?', korrekt, korrekt, korrekt, korrekt], '', 8/8).
eva(exer13, 14, [], [], korrekt, 0/0).
eva(exer13, 15, [], [], korrekt, 0/0).
eva(exer13, 16, [ok, ok, ok, ok], [korrekt, korrekt, korrekt, korrekt], '', 4/4).
eva(exer13, 17, [], [], korrekt, 0/0).
eva(exer13, 18, [ok], [korrekt], '', 1/1).
eva(exer13, 19, [], [], korrekt, 0/0).
eva(exer13, 20, [ok], [korrekt], '', 1/1).
eva(exer13, 21, [], [], korrekt, 0/0).
eva(exer13, 22, [ok, ok, ok], [korrekt, korrekt, korrekt], '', 3/3).
eva(exer13, 23, [], [], korrekt, 0/0).
eva(exer13, 24, [], [], korrekt, 0/0).
eva(exer13, 25, [], [], korrekt, 0/0).
eva(exer13, 26, [ok], [korrekt], '', 1/1).
eva(exer13, 27, [ok], [korrekt], '', 1/1).
eva(exer13, 28, [ok, ok, ok, ok], [korrekt, korrekt, korrekt, korrekt], '', 4/4).
eva(exer13, 29, [ok, ok, ok, ok, ok, ok, ok, ok, ok, ok, ok], [korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt], '', 11/11).
eva(exer13, 30, [], [], korrekt, 0/0).
eva(exer13, 31, [ok, ok], [korrekt, korrekt], '', 2/2).
eva(exer13, 32, [], [], korrekt, 0/0).
eva(exer13, 33, [], [], korrekt, 0/0).
eva(exer13, 34, [], [], korrekt, 0/0).
eva(exer13, 35, [ok], [korrekt], '', 1/1).
eva(exer13, 36, [ok], [korrekt], '', 1/1).
eva(exer13, 37, [ok, ok, ok, ok, ok, ok], [korrekt, korrekt, korrekt, korrekt, korrekt, korrekt], '', 6/6).
eva(exer13, 38, [ok], [korrekt], '', 1/1).
eva(exer13, 39, [ok, ok, ok, ok], [korrekt, korrekt, korrekt, korrekt], '', 4/4).
eva(exer13, 41, [], [], korrekt, 0/0).
eva(exer13, 42, [ok], [korrekt], '', 1/1).
eva(exer13, 43, [nok, ok, ok], ['X ist 0', korrekt, korrekt], '', 2/3).
eva(exer13, 44, [], [], korrekt, 0/0).
eva(exer13, 45, [ok, ok, ok, ok, ok, ok, ok, ok], [korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt], '', 8/8).
eva(exer13, 46, [], [], korrekt, 0/0).
eva(exer13, 47, [], [], korrekt, 0/0).
eva(exer13, 48, [nok], ['Der Hinweis ist schwer verstaendlich'], '', 0/1).
eva(exer13, 49, [ok], [korrekt], '', 1/1).
eva(exer13, 50, [ok, ok], [korrekt, korrekt], '', 2/2).
eva(exer13, 51, [ok], [korrekt], '', 1/1).
eva(exer13, 52, [ok], [korrekt], '', 1/1).
eva(exer13, 53, [ok], [korrekt], '', 1/1).
eva(exer13, 54, [ok, ok, ok, ok, ok], [korrekt, korrekt, korrekt, korrekt, korrekt], 'Das eigentliche Problem ist. dass die Argumente in mylen() vertauscht sind - sind dafuer denn vier veschiedene Fehlermeldungen notwendig?', 5/5).
eva(exer13, 55, [], [], korrekt, 0/0).
eva(exer13, 56, [nok, ok, ok], ['N ist 0', korrekt, korrekt], '', 2/3).
eva(exer13, 57, [ok], [korrekt], '', 1/1).
eva(exer13, 58, [], [], korrekt, 0/0).
eva(exer13, 59, [], [], korrekt, 0/0).
eva(exer13, 60, [], [], korrekt, 0/0).
eva(exer13, 61, [], [], korrekt, 0/0).
eva(exer13, 62, [ok], [korrekt], '', 1/1).
eva(exer13, 63, [ok], [korrekt], '', 1/1).
eva(exer13, 64, [ok, ok], [korrekt, korrekt], '', 2/2).
eva(exer13, 65, [ok, ok, ok, ok, ok, ok], [korrekt, korrekt, korrekt, korrekt, korrekt, korrekt], 'ein Fehler - viele Kommentare', 6/6).
eva(exer13, 66, [ok], [korrekt], 'in diesem Fall: ...brauchen Sie noch einen Rekursionsabschluss', 1/1).
eva(exer13, 67, [ok, ok, ok, ok, ok, ok, ok], [korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt], '', 7/7).
eva(exer13, 68, [ok], [korrekt], '', 1/1).
eva(exer13, 69, [ok], [korrekt], '', 1/1).
eva(exer13, 70, [ok], [korrekt], '', 1/1).
eva(exer13, 71, [ok], [korrekt], '', 1/1).
eva(exer13, 72, [ok, ok, ok, ok, ok, ok, ok, ok], [korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt], '', 8/8).
eva(exer13, 73, [ok], [korrekt], '', 1/1).
eva(exer13, 74, [ok, ok], [korrekt, korrekt], '', 2/2).
eva(exer13, 75, [ok], [korrekt], '', 1/1).
eva(exer13, 76, [], [], korrekt, 0/0).
eva(exer13, 77, [ok], [korrekt], '', 1/1).
eva(exer13, 78, [ok], [korrekt], '', 1/1).
eva(exer13, 79, [], [], korrekt, 0/0).
eva(exer13, 80, [ok, ok], [korrekt, korrekt], '', 2/2).
eva(exer13, 81, [ok], [korrekt], '', 1/1).

eva(exer14, 1, [ok, ok], [korrekt, korrekt], '', 2/2).
eva(exer14, 3, [ok, ok, ok], [korrektkorrekt, korrekt, korrekt], '', 3/3).
eva(exer14, 4, [ok, ok, ok, ok, ok, ok, ok, ok, ok, ok, ok], [korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt], '', 11/11).
eva(exer14, 5, [ok], ['Der Hinweis ist nicht verstaendlich formuliert. Was bedeutet der zweite Satz?'], '', 1/1).
eva(exer14, 6, [ok, ok, ok, ok, ok, nok, ok, ok], [korrekt, korrekt, korrekt, korrekt, korrekt, 'welcher Operator? er erscheint in der Aufgabenstellung oben aber nicht hier', korrekt, korrekt], '', 7/8).
eva(exer14, 7, [ok, ok, ok, ok, ok, ok, ok, ok, nok, nok, ok, nok, ok], [korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, 'korrekt - die Anzeige des Fehlers ist jedoch falsch', 'korrekt - auch hier: fehlerhafte Anzeige', korrekt, 'Fehlerhafte Darstellung', korrekt], '', 10/13).
eva(exer14, 8, [nok], ['wie ist das genau gemeint?'], '', 0/1).
eva(exer14, 9, [ok, ok, nok, ok, ok, ok, ok, ok, nok, nok, ok, ok, ok], [korrekt, korrekt, 'es gibt keinen Term [BS]', korrekt, korrekt, korrekt, korrekt, korrekt, 'korrekt - jedoch fehlerhafte Anzeige und es gibt keinen Term [BS]', 'siehe oben', korrekt, korrekt, korrekt], 'Fehlerhafte Anzeigen!', 10/13).
eva(exer14, 10, [nok], ['korrekt, allerdings zweideutige Formulierung des 2. Satzes!'], '', 0/1).
eva(exer14, 11, [ok, ok], ['', ''], 'korrekt - aber die Formulierung aender! (2.Satz) ', 2/2).
eva(exer14, 12, [ok, ok, ok, ok, ok, ok, ok, ok, ok, ok, ok], [korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt], '', 11/11).
eva(exer14, 13, [ok], [korrekt], '', 1/1).
eva(exer14, 14, [ok], [korrekt], 'Formulierung aendern!', 1/1).
eva(exer14, 15, [ok, ok, ok, ok], ['korrekt - zu viele!', korrekt, korrekt, korrekt], 'Fehlerhafte Darstellung der Studentenloesungen', 4/4).
eva(exer14, 16, [ok, ok, ok, ok, ok, ok, ok, ok], [korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt], '', 8/8).
eva(exer14, 17, [ok], [korrekt], '', 1/1).
eva(exer14, 18, [ok, ok, ok, ok, ok], [korrekt, korrekt, korrekt, korrekt, korrekt], '', 5/5).
eva(exer14, 20, [ok, ok, ok, ok, ok], [korrekt, korrekt, korrekt, korrekt, korrekt], '', 5/5).
eva(exer14, 23, [ok, nok], [korrekt, 'korrekt - aber wieso heisst es: eine Variable im Term?'], '', 1/2).
eva(exer14, 24, [ok, ok, ok, ok, nok, ok, ok, ok, ok, ok, ok, ok, ok, ok, ok, ok, ok, ok, ok, ok, ok, ok, ok], [korrekt, korrekt, korrekt, korrekt, 'korrekt -  wieder falsche Darstellung', 'korrekt - falsche Darstellung', korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt], '', 22/23).
eva(exer14, 25, [ok, ok, ok, nok, ok, ok, ok, ok, ok, ok, ok], [korrekt, korrekt, korrekt, 'der Operator > ist vorhanden, nur an der falschen Stelle!', korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt], '', 10/11).
eva(exer14, 26, [ok, ok, ok, ok, ok, ok, ok, ok, ok, ok], [korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt], 'wieder Fehler in der Darstellung der Studentenloesungen', 10/10).
eva(exer14, 27, [ok, ok, ok, ok, ok, ok, ok, ok], [korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt], 'Fehler in der Darstellung', 8/8).
eva(exer14, 28, [ok, ok, ok, ok, ok, ok, ok, ok], [korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt], '', 8/8).
eva(exer14, 29, [ok, ok, ok, nok, ok, ok], [korrekt, korrekt, korrekt, 'ist das wirklich eindeutig?', korrekt, korrekt], '', 5/6).
eva(exer14, 30, [ok, ok, nok, ok, ok], [korrekt, korrekt, 'die Loesung wir nicht korrekt angezeigt', korrekt, korrekt], '', 4/5).
eva(exer14, 31, [ok], [korrekt], '', 1/1).
eva(exer14, 32, [ok, ok, ok, ok, ok, ok, ok, ok, ok], [korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt], 'Die Loesungen werden nicht korrekt dargestellt, wenn ein kleiner-Zeichen darin vorkommt.', 9/9).
eva(exer14, 33, [ok], [korrekt], '', 1/1).
eva(exer14, 34, [ok], [korrekt], '', 1/1).
eva(exer14, 37, [ok, ok, ok, ok], [korrekt, korrekt, korrekt, korrekt], '', 4/4).
eva(exer14, 38, [ok, ok, ok, ok, ok, ok, ok, nok, ok, ok], [korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, korrekt, 'wie ist das gemeint?', korrekt, korrekt], '', 9/10).

eva(exer8, 1, [nok], ['Systempraedikate nicht erlaubt?'], '', 0/1).
eva(exer8, 2, [nok], ['es ist in der Datenbasis enthalten'], '', 0/1).
eva(exer8, 3, [ok, ok, ok, ok, ok], [korrekt, korrekt, korrekt, korrekt, korrekt], 'Die Kommentare sind im Hinblick auf die Musterloesung korrekt. Die Studentenloesung jedenfalls ist auch fast richtig, bis auf dass die Argumentpositionen vertauscht wurden. \r\nD.h. er achtet nicht auf die Sender sondern auf die Sendungen.\r\n', 5/5).
eva(exer8, 4, [ok], [korrekt], '', 1/1).
eva(exer8, 5, [nok, ok, ok, ok, ok, ok], ['die 2. Zeile hat eine Rekursionsklausel - es wird nicht klar, worauf sich die Aussage bezieht.', 'bezieht sich das nur auf die dritte Zeile?', korrekt, korrekt, korrekt, korrekt], 'Terms - Termen', 5/6).
eva(exer8, 6, [nok, ok, ok, ok], ['in Zeile zwei gibt es eine Rekursonsklausel', korrekt, korrekt, korrekt], '', 3/4).
eva(exer8, 7, [ok, ok], ['', ''], '', 2/2).
eva(exer8, 8, [ok, ok], ['', ''], '', 2/2).
eva(exer8, 9, [ok, ok, ok, ok, ok, ok, ok, ok, ok, ok, ok, ok, ok], ['', '', '', '', '', '', '', '', '', '', '', '', ''], '', 13/13).
eva(exer8, 10, [ok, ok, ok], ['nicht sofort ersichtlich', '', 'kein eindeutiger Hinweis'], '', 3/3).

eva(exer9, 1, [ok, ok], ['', ''], korrekt, 2/2).
eva(exer9, 2, [ok, ok], ['', ''], korrekt, 2/2).
eva(exer9, 3, [], [], korrekt, 0/0).
eva(exer9, 4, [ok, ok, ok, ok, ok], ['', 'überflüssig - schlechte Wortwahl', '', '', ''], '', 5/5).
eva(exer9, 5, [], [], korrekt, 0/0).
eva(exer9, 6, [ok, ok, ok, ok, ok], ['', '', '', '', ''], korrekt, 5/5).
eva(exer9, 7, [], [], korrekt, 0/0).
eva(exer9, 8, [ok, ok], ['', ''], korrekt, 2/2).
eva(exer9, 9, [nok], ['Tippfehler - Leerzeichen zuviel!'], '', 0/1).
eva(exer9, 10, [ok], [''], korrekt, 1/1).
eva(exer9, 11, [ok], [''], korrekt, 1/1).