Index of /logs/student-arraydomain/20190215-104324-student-arraydomain-1de736ea4d-M

 Name                                                                                         Last modified      Size  Description
 Parent Directory                                                                                                  -   
 student-arraydomain-essential.2019-02-14_1618.logfiles/                                      2019-02-14 18:03    -   
 overview                                                                                     2019-02-15 10:43   76K  
 results.2019-02-15_1043.table.csv                                                            2019-02-15 10:43   27K  
 results.2019-02-15_1043.table.html                                                           2019-02-15 10:43  247K  
 student-arraydomain-essential.2019-02-14_1618.results.AbsInt Array-EXP+CONG.Array-Boogie.xml 2019-02-14 17:06   85K  
 student-arraydomain-essential.2019-02-14_1618.results.AbsInt Array-OCT+CONG.Array-Boogie.xml 2019-02-14 17:52   90K  
 student-arraydomain-essential.2019-02-14_1618.results.AbsInt Array-OCT.Array-Boogie.xml      2019-02-14 18:13   99K  
 student-arraydomain-essential.2019-02-14_1618.results.AbsInt EXP+CONG.Array-Boogie.xml       2019-02-14 17:05   82K  
 student-arraydomain-essential.2019-02-14_1618.results.AbsInt OCT+CONG.Array-Boogie.xml       2019-02-14 17:05   82K  
 student-arraydomain-essential.2019-02-14_1618.results.AbsInt OCT.Array-Boogie.xml            2019-02-14 17:06   81K  
 student-arraydomain-essential.2019-02-14_1618.results.Taipan Array-OCT.Array-Boogie.xml      2019-02-14 17:04  104K  
 student-arraydomain-essential.2019-02-14_1618.results.Taipan EXP+CONG.Array-Boogie.xml       2019-02-14 16:36   90K  
 student-arraydomain-essential.2019-02-14_1618.results.txt                                    2019-02-14 18:13   78K