Index of /logs/student-arraydomain/20190120-094904-student-arraydomain-b7bd044074-M

 Name                                                                                         Last modified      Size  Description
 Parent Directory                                                                                                  -   
 student-arraydomain-essential.2019-01-18_1726.logfiles/                                      2019-01-18 19:12    -   
 overview                                                                                     2019-01-20 09:50   13K  
 results.2019-01-20_0948.table.csv                                                            2019-01-20 09:48   27K  
 results.2019-01-20_0948.table.html                                                           2019-01-20 09:48  245K  
 student-arraydomain-essential.2019-01-18_1726.results.AbsInt Array-EXP+CONG.Array-Boogie.xml 2019-01-18 18:23   84K  
 student-arraydomain-essential.2019-01-18_1726.results.AbsInt Array-OCT+CONG.Array-Boogie.xml 2019-01-18 19:08   89K  
 student-arraydomain-essential.2019-01-18_1726.results.AbsInt Array-OCT.Array-Boogie.xml      2019-01-18 19:25   82K  
 student-arraydomain-essential.2019-01-18_1726.results.AbsInt EXP+CONG.Array-Boogie.xml       2019-01-18 18:22   80K  
 student-arraydomain-essential.2019-01-18_1726.results.AbsInt OCT+CONG.Array-Boogie.xml       2019-01-18 18:22   80K  
 student-arraydomain-essential.2019-01-18_1726.results.AbsInt OCT.Array-Boogie.xml            2019-01-18 18:22   77K  
 student-arraydomain-essential.2019-01-18_1726.results.Taipan Array-OCT.Array-Boogie.xml      2019-01-18 18:21   91K  
 student-arraydomain-essential.2019-01-18_1726.results.Taipan EXP+CONG.Array-Boogie.xml       2019-01-18 17:52   93K  
 student-arraydomain-essential.2019-01-18_1726.results.txt                                    2019-01-18 19:25   78K