Index of /logs/student-pdr/20180926-103208-student-werner-ff8eab69e2

 Name                                                                                  Last modified      Size  Description
 Parent Directory                                                                                           -   
 student-pdr-vs-automizer.2018-09-26_0805.logfiles/                                    2018-09-26 09:55    -   
 csv/                                                                                  2018-09-26 09:58    -   
 student-pdr-vs-automizer.2018-09-26_0805.results.Automizer NestedInterpolants.Pdr.xml 2018-09-26 08:31  326K  
 student-pdr-vs-automizer.2018-09-26_0805.results.Automizer PDR z3.Pdr.xml             2018-09-26 09:26  427K  
 student-pdr-vs-automizer.2018-09-26_0805.results.Automizer PDR smtinterpol.Pdr.xml    2018-09-26 09:59  326K  
 student-pdr-vs-automizer.2018-09-26_0805.results.txt                                  2018-09-26 09:59  135K  
 results.2018-09-26_1031.table.csv                                                     2018-09-26 10:31   57K  
 results.2018-09-26_1031.diff.csv                                                      2018-09-26 10:31   42K  
 results.2018-09-26_1031.diff.html                                                     2018-09-26 10:31  303K  
 results.2018-09-26_1031.table.html                                                    2018-09-26 10:31  388K  
 overview                                                                              2018-09-26 10:31  2.8K