Index of /logs/student-predicatetrie/20180930-125533-student-biesenbach-00a862152b
Name Last modified Size Description
Parent Directory -
csv/ 2018-09-30 12:13 -
student-old-vs-new-predicate-unification.2018-09-30_1014.logfiles/ 2018-09-30 12:09 -
overview 2018-09-30 12:54 13K
results.2018-09-30_1254.diff.csv 2018-09-30 12:54 18K
results.2018-09-30_1254.diff.html 2018-09-30 12:54 171K
results.2018-09-30_1254.table.csv 2018-09-30 12:54 68K
results.2018-09-30_1254.table.html 2018-09-30 12:54 478K
student-old-vs-new-predicate-unification.2018-09-30_1014.results.Automizer New.Pdr.xml 2018-09-30 11:05 397K
student-old-vs-new-predicate-unification.2018-09-30_1014.results.Automizer Old.Pdr.xml 2018-09-30 10:42 401K
student-old-vs-new-predicate-unification.2018-09-30_1014.results.CodeCheck New.Pdr.xml 2018-09-30 12:13 419K
student-old-vs-new-predicate-unification.2018-09-30_1014.results.CodeCheck Old.Pdr.xml 2018-09-30 11:40 427K
student-old-vs-new-predicate-unification.2018-09-30_1014.results.txt 2018-09-30 12:13 180K