Index of /logs/student-arraydomain/20190131-165216-student-arraydomain-fa1c628f9a-M

 Name                                                                                         Last modified      Size  Description
 Parent Directory                                                                                                  -   
 student-arraydomain-essential.2019-01-31_1430.logfiles/                                      2019-01-31 16:25    -   
 overview                                                                                     2019-01-31 16:53   19K  
 results.2019-01-31_1652.table.csv                                                            2019-01-31 16:52   27K  
 results.2019-01-31_1652.table.html                                                           2019-01-31 16:52  247K  
 student-arraydomain-essential.2019-01-31_1430.results.AbsInt Array-EXP+CONG.Array-Boogie.xml 2019-01-31 15:28   85K  
 student-arraydomain-essential.2019-01-31_1430.results.AbsInt Array-OCT+CONG.Array-Boogie.xml 2019-01-31 16:13   90K  
 student-arraydomain-essential.2019-01-31_1430.results.AbsInt Array-OCT.Array-Boogie.xml      2019-01-31 16:34  100K  
 student-arraydomain-essential.2019-01-31_1430.results.AbsInt EXP+CONG.Array-Boogie.xml       2019-01-31 15:26   81K  
 student-arraydomain-essential.2019-01-31_1430.results.AbsInt OCT+CONG.Array-Boogie.xml       2019-01-31 15:27   84K  
 student-arraydomain-essential.2019-01-31_1430.results.AbsInt OCT.Array-Boogie.xml            2019-01-31 15:27   81K  
 student-arraydomain-essential.2019-01-31_1430.results.Taipan Array-OCT.Array-Boogie.xml      2019-01-31 15:26  103K  
 student-arraydomain-essential.2019-01-31_1430.results.Taipan EXP+CONG.Array-Boogie.xml       2019-01-31 14:56   89K  
 student-arraydomain-essential.2019-01-31_1430.results.txt                                    2019-01-31 16:34   78K