Index of /logs/student-arraydomain/20190107-174534-student-arraydomain-1377b90268

 Name                                                                                         Last modified      Size  Description
 Parent Directory                                                                                                  -   
 student-arraydomain-essential.2019-01-07_1411.logfiles/                                      2019-01-07 16:37    -   
 overview                                                                                     2019-01-07 17:45   20K  
 results.2019-01-07_1745.table.csv                                                            2019-01-07 17:45   28K  
 results.2019-01-07_1745.table.html                                                           2019-01-07 17:45  247K  
 student-arraydomain-essential.2019-01-07_1411.results.AbsInt Array-EXP+CONG.Array-Boogie.xml 2019-01-07 15:24   96K  
 student-arraydomain-essential.2019-01-07_1411.results.AbsInt Array-OCT+CONG.Array-Boogie.xml 2019-01-07 16:08   88K  
 student-arraydomain-essential.2019-01-07_1411.results.AbsInt Array-OCT.Array-Boogie.xml      2019-01-07 16:52  112K  
 student-arraydomain-essential.2019-01-07_1411.results.AbsInt EXP+CONG.Array-Boogie.xml       2019-01-07 15:19   87K  
 student-arraydomain-essential.2019-01-07_1411.results.AbsInt OCT+CONG.Array-Boogie.xml       2019-01-07 15:20   88K  
 student-arraydomain-essential.2019-01-07_1411.results.AbsInt OCT.Array-Boogie.xml            2019-01-07 15:20   88K  
 student-arraydomain-essential.2019-01-07_1411.results.Taipan Array-OCT.Array-Boogie.xml      2019-01-07 15:19  116K  
 student-arraydomain-essential.2019-01-07_1411.results.Taipan EXP+CONG.Array-Boogie.xml       2019-01-07 14:30  102K  
 student-arraydomain-essential.2019-01-07_1411.results.txt                                    2019-01-07 16:52   78K