Index of /logs/student-arraydomain/20181225-221814-student-arraydomain-e1a14da650-M

 Name                                                                                         Last modified      Size  Description
 Parent Directory                                                                                                  -   
 student-arraydomain-essential.2018-12-24_1346.logfiles/                                      2018-12-24 15:31    -   
 overview                                                                                     2018-12-25 22:18   13K  
 results.2018-12-25_2218.table.csv                                                            2018-12-25 22:18   28K  
 results.2018-12-25_2218.table.html                                                           2018-12-25 22:18  245K  
 student-arraydomain-essential.2018-12-24_1346.results.AbsInt Array-EXP+CONG.Array-Boogie.xml 2018-12-24 14:44   88K  
 student-arraydomain-essential.2018-12-24_1346.results.AbsInt Array-OCT+CONG.Array-Boogie.xml 2018-12-24 15:28   86K  
 student-arraydomain-essential.2018-12-24_1346.results.AbsInt Array-OCT.Array-Boogie.xml      2018-12-24 15:45   83K  
 student-arraydomain-essential.2018-12-24_1346.results.AbsInt EXP+CONG.Array-Boogie.xml       2018-12-24 14:43   85K  
 student-arraydomain-essential.2018-12-24_1346.results.AbsInt OCT+CONG.Array-Boogie.xml       2018-12-24 14:43   87K  
 student-arraydomain-essential.2018-12-24_1346.results.AbsInt OCT.Array-Boogie.xml            2018-12-24 14:43   85K  
 student-arraydomain-essential.2018-12-24_1346.results.Taipan Array-OCT.Array-Boogie.xml      2018-12-24 14:43  103K  
 student-arraydomain-essential.2018-12-24_1346.results.Taipan EXP+CONG.Array-Boogie.xml       2018-12-24 14:13  103K  
 student-arraydomain-essential.2018-12-24_1346.results.txt                                    2018-12-24 15:45   78K