Index of /logs/student-arraydomain/20190111-131537-student-arraydomain-df3cc4ea2c-M

 Name                                                                                         Last modified      Size  Description
 Parent Directory                                                                                                  -   
 student-arraydomain-essential.2019-01-11_1100.logfiles/                                      2019-01-11 12:47    -   
 overview                                                                                     2019-01-11 13:15   16K  
 results.2019-01-11_1315.diff.csv                                                             2019-01-11 13:15   27K  
 results.2019-01-11_1315.diff.html                                                            2019-01-11 13:15  242K  
 results.2019-01-11_1315.table.csv                                                            2019-01-11 13:15   27K  
 results.2019-01-11_1315.table.html                                                           2019-01-11 13:15  246K  
 student-arraydomain-essential.2019-01-11_1100.results.AbsInt Array-EXP+CONG.Array-Boogie.xml 2019-01-11 11:59   85K  
 student-arraydomain-essential.2019-01-11_1100.results.AbsInt Array-OCT+CONG.Array-Boogie.xml 2019-01-11 12:44   88K  
 student-arraydomain-essential.2019-01-11_1100.results.AbsInt Array-OCT.Array-Boogie.xml      2019-01-11 13:01   80K  
 student-arraydomain-essential.2019-01-11_1100.results.AbsInt EXP+CONG.Array-Boogie.xml       2019-01-11 11:58   81K  
 student-arraydomain-essential.2019-01-11_1100.results.AbsInt OCT+CONG.Array-Boogie.xml       2019-01-11 11:58   81K  
 student-arraydomain-essential.2019-01-11_1100.results.AbsInt OCT.Array-Boogie.xml            2019-01-11 11:59   80K  
 student-arraydomain-essential.2019-01-11_1100.results.Taipan Array-OCT.Array-Boogie.xml      2019-01-11 11:58   92K  
 student-arraydomain-essential.2019-01-11_1100.results.Taipan EXP+CONG.Array-Boogie.xml       2019-01-11 11:27   92K  
 student-arraydomain-essential.2019-01-11_1100.results.txt                                    2019-01-11 13:01   78K