Index of /logs/student-predicatetrie/20181003-110437-student-biesenbach-2eb0a67923
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[DIR]](/icons/folder.gif)
student-old-vs-new-predicate-unification.2018-10-03_0834.logfiles/ 2018-10-03 10:26 -
csv/ 2018-10-03 10:30 -
![[TXT]](/icons/text.gif)
student-old-vs-new-predicate-unification.2018-10-03_0834.results.Automizer Old.Pdr.xml 2018-10-03 09:02 405K
student-old-vs-new-predicate-unification.2018-10-03_0834.results.Automizer New.Pdr.xml 2018-10-03 09:25 379K
student-old-vs-new-predicate-unification.2018-10-03_0834.results.CodeCheck Old.Pdr.xml 2018-10-03 10:00 427K
student-old-vs-new-predicate-unification.2018-10-03_0834.results.CodeCheck New.Pdr.xml 2018-10-03 10:30 401K
student-old-vs-new-predicate-unification.2018-10-03_0834.results.txt 2018-10-03 10:30 180K
![[ ]](/icons/unknown.gif)
overview 2018-10-03 11:03 13K
results.2018-10-03_1108.diff.csv 2018-10-03 11:08 17K
results.2018-10-03_1108.table.csv 2018-10-03 11:08 68K
results.2018-10-03_1108.diff.html 2018-10-03 11:08 164K
results.2018-10-03_1108.table.html 2018-10-03 11:08 478K