Index of /logs/student-predicatetrie/20180928-131054-student-biesenbach-b2fde6a77f

 Name                                                                                   Last modified      Size  Description
 Parent Directory                                                                                            -   
 csv/                                                                                   2018-09-28 11:55    -   
 student-old-vs-new-predicate-unification.2018-09-28_0955.logfiles/                     2018-09-28 11:51    -   
 overview                                                                               2018-09-28 13:09   13K  
 results.2018-09-28_1309.diff.csv                                                       2018-09-28 13:09   18K  
 results.2018-09-28_1309.table.csv                                                      2018-09-28 13:09   68K  
 results.2018-09-28_1309.diff.html                                                      2018-09-28 13:09  174K  
 student-old-vs-new-predicate-unification.2018-09-28_0955.results.txt                   2018-09-28 11:55  180K  
 student-old-vs-new-predicate-unification.2018-09-28_0955.results.Automizer Old.Pdr.xml 2018-09-28 10:23  391K  
 student-old-vs-new-predicate-unification.2018-09-28_0955.results.Automizer New.Pdr.xml 2018-09-28 10:47  391K  
 student-old-vs-new-predicate-unification.2018-09-28_0955.results.CodeCheck New.Pdr.xml 2018-09-28 11:55  406K  
 student-old-vs-new-predicate-unification.2018-09-28_0955.results.CodeCheck Old.Pdr.xml 2018-09-28 11:22  434K  
 results.2018-09-28_1309.table.html                                                     2018-09-28 13:09  478K