Index of /logs/student-pdr/20180723-01-Pdr

 Name                                                                                  Last modified      Size  Description
 Parent Directory                                                                                           -   
 student-pdr-vs-automizer.2018-07-23_1336.logfiles/                                    2018-07-23 14:01    -   
 student-pdr-vs-automizer.2018-07-23_1336.results.txt                                  2018-07-23 14:01   90K  
 student-pdr-vs-automizer.2018-07-23_1336.results.Automizer PDR.Pdr.xml                2018-07-23 14:01  376K  
 student-pdr-vs-automizer.2018-07-23_1336.results.Automizer NestedInterpolants.Pdr.xml 2018-07-23 14:00  317K  
 results.2018-07-23_1448.table.html                                                    2018-07-23 14:48  287K  
 results.2018-07-23_1448.table.csv                                                     2018-07-23 14:48   42K  
 results.2018-07-23_1448.diff.html                                                     2018-07-23 14:48  286K  
 results.2018-07-23_1448.diff.csv                                                      2018-07-23 14:48   42K