Index of /logs/student-pdr/20180725-100018-Pdr-e6fd87c5e5

 Name                                                                                  Last modified      Size  Description
 Parent Directory                                                                                           -   
 student-pdr-vs-automizer.2018-07-25_0835.logfiles/                                    2018-07-25 09:49    -   
 csv/                                                                                  2018-07-25 09:53    -   
 student-pdr-vs-automizer.2018-07-25_0835.results.Automizer NestedInterpolants.Pdr.xml 2018-07-25 09:00  316K  
 student-pdr-vs-automizer.2018-07-25_0835.results.Automizer PDR.Pdr.xml                2018-07-25 09:54  428K  
 student-pdr-vs-automizer.2018-07-25_0835.results.txt                                  2018-07-25 09:54   90K  
 results.2018-07-25_1000.diff.csv                                                      2018-07-25 10:00   27K  
 results.2018-07-25_1000.table.csv                                                     2018-07-25 10:00   42K  
 results.2018-07-25_1000.diff.html                                                     2018-07-25 10:00  208K  
 results.2018-07-25_1000.table.html                                                    2018-07-25 10:00  295K