Index of /logs/student-predicatetrie/20181002-141110-student-biesenbach-c372c2b0e9
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[DIR]](/icons/folder.gif)
csv/ 2018-10-02 13:31 -
student-old-vs-new-predicate-unification.2018-10-02_1134.logfiles/ 2018-10-02 13:27 -
![[ ]](/icons/unknown.gif)
overview 2018-10-02 14:10 13K
![[TXT]](/icons/text.gif)
results.2018-10-02_1410.diff.csv 2018-10-02 14:10 17K
results.2018-10-02_1410.diff.html 2018-10-02 14:10 169K
results.2018-10-02_1410.table.csv 2018-10-02 14:10 68K
results.2018-10-02_1410.table.html 2018-10-02 14:11 478K
student-old-vs-new-predicate-unification.2018-10-02_1134.results.Automizer New.Pdr.xml 2018-10-02 12:26 385K
student-old-vs-new-predicate-unification.2018-10-02_1134.results.Automizer Old.Pdr.xml 2018-10-02 12:03 392K
student-old-vs-new-predicate-unification.2018-10-02_1134.results.CodeCheck New.Pdr.xml 2018-10-02 13:31 402K
student-old-vs-new-predicate-unification.2018-10-02_1134.results.CodeCheck Old.Pdr.xml 2018-10-02 13:01 429K
student-old-vs-new-predicate-unification.2018-10-02_1134.results.txt 2018-10-02 13:31 180K