Index of /logs/student-predicatetrie/20180924-071852-student-biesenbach-bd42740549

 Name                                                                                   Last modified      Size  Description
 Parent Directory                                                                                            -   
 csv/                                                                                   2018-09-23 22:23    -   
 student-old-vs-new-predicate-unification.2018-09-23_2117.logfiles/                     2018-09-23 22:23    -   
 results.2018-09-24_0718.diff.csv                                                       2018-09-24 07:18   68K  
 results.2018-09-24_0718.table.csv                                                      2018-09-24 07:18   70K  
 overview                                                                               2018-09-24 07:18  175K  
 student-old-vs-new-predicate-unification.2018-09-23_2117.results.txt                   2018-09-23 22:23  180K  
 student-old-vs-new-predicate-unification.2018-09-23_2117.results.Automizer New.Pdr.xml 2018-09-23 21:46  372K  
 student-old-vs-new-predicate-unification.2018-09-23_2117.results.CodeCheck New.Pdr.xml 2018-09-23 22:23  387K  
 student-old-vs-new-predicate-unification.2018-09-23_2117.results.Automizer Old.Pdr.xml 2018-09-23 21:45  392K  
 student-old-vs-new-predicate-unification.2018-09-23_2117.results.CodeCheck Old.Pdr.xml 2018-09-23 22:21  437K  
 results.2018-09-24_0718.diff.html                                                      2018-09-24 07:18  463K  
 results.2018-09-24_0718.table.html                                                     2018-09-24 07:18  471K