Index of /logs/student-predicatetrie/20180930-230352-student-biesenbach-1cc990c118

Icon  Name                                                                                   Last modified      Size  Description
[PARENTDIR] Parent Directory - [DIR] csv/ 2018-09-30 22:02 - [DIR] student-old-vs-new-predicate-unification.2018-09-30_2006.logfiles/ 2018-09-30 21:58 - [   ] overview 2018-09-30 23:03 13K [TXT] results.2018-09-30_2303.diff.csv 2018-09-30 23:03 18K [TXT] results.2018-09-30_2303.diff.html 2018-09-30 23:03 173K [TXT] results.2018-09-30_2303.table.csv 2018-09-30 23:03 68K [TXT] results.2018-09-30_2303.table.html 2018-09-30 23:03 478K [TXT] student-old-vs-new-predicate-unification.2018-09-30_2006.results.Automizer New.Pdr.xml 2018-09-30 20:57 379K [TXT] student-old-vs-new-predicate-unification.2018-09-30_2006.results.Automizer Old.Pdr.xml 2018-09-30 20:34 402K [TXT] student-old-vs-new-predicate-unification.2018-09-30_2006.results.CodeCheck New.Pdr.xml 2018-09-30 22:03 407K [TXT] student-old-vs-new-predicate-unification.2018-09-30_2006.results.CodeCheck Old.Pdr.xml 2018-09-30 21:31 427K [TXT] student-old-vs-new-predicate-unification.2018-09-30_2006.results.txt 2018-09-30 22:03 180K