Index of /logs/student-arraydomain/20181219-114611-student-arraydomain-15a42f040f

 Name                                                                                         Last modified      Size  Description
 Parent Directory                                                                                                  -   
 student-arraydomain-essential.2018-12-18_2208.logfiles/                                      2018-12-18 23:35    -   
 overview                                                                                     2018-12-19 11:46   18K  
 results.2018-12-19_1146.table.csv                                                            2018-12-19 11:46   27K  
 results.2018-12-19_1146.table.html                                                           2018-12-19 11:46  246K  
 student-arraydomain-essential.2018-12-18_2208.results.AbsInt Array-EXP+CONG.Array-Boogie.xml 2018-12-18 22:46   98K  
 student-arraydomain-essential.2018-12-18_2208.results.AbsInt Array-OCT+CONG.Array-Boogie.xml 2018-12-18 23:31   90K  
 student-arraydomain-essential.2018-12-18_2208.results.AbsInt Array-OCT.Array-Boogie.xml      2018-12-18 23:47   98K  
 student-arraydomain-essential.2018-12-18_2208.results.AbsInt EXP+CONG.Array-Boogie.xml       2018-12-18 22:44   89K  
 student-arraydomain-essential.2018-12-18_2208.results.AbsInt OCT+CONG.Array-Boogie.xml       2018-12-18 22:44   89K  
 student-arraydomain-essential.2018-12-18_2208.results.AbsInt OCT.Array-Boogie.xml            2018-12-18 22:45   89K  
 student-arraydomain-essential.2018-12-18_2208.results.Taipan Array-OCT.Array-Boogie.xml      2018-12-18 22:44  103K  
 student-arraydomain-essential.2018-12-18_2208.results.Taipan EXP+CONG.Array-Boogie.xml       2018-12-18 22:25  102K  
 student-arraydomain-essential.2018-12-18_2208.results.txt                                    2018-12-18 23:47   78K