Index of /logs/student-arraydomain/20190228-100249-student-arraydomain-0302a3f379

 Name                                                                                         Last modified      Size  Description
 Parent Directory                                                                                                  -   
 student-arraydomain-essential.2019-02-27_1254.logfiles/                                      2019-02-27 14:41    -   
 overview                                                                                     2019-02-28 10:03   17K  
 results.2019-02-28_1002.table.csv                                                            2019-02-28 10:02   27K  
 results.2019-02-28_1002.table.html                                                           2019-02-28 10:02  247K  
 student-arraydomain-essential.2019-02-27_1254.results.AbsInt Array-EXP+CONG.Array-Boogie.xml 2019-02-27 13:43   82K  
 student-arraydomain-essential.2019-02-27_1254.results.AbsInt Array-OCT+CONG.Array-Boogie.xml 2019-02-27 14:29   91K  
 student-arraydomain-essential.2019-02-27_1254.results.AbsInt Array-OCT.Array-Boogie.xml      2019-02-27 14:49  100K  
 student-arraydomain-essential.2019-02-27_1254.results.AbsInt EXP+CONG.Array-Boogie.xml       2019-02-27 13:41   83K  
 student-arraydomain-essential.2019-02-27_1254.results.AbsInt OCT+CONG.Array-Boogie.xml       2019-02-27 13:42   84K  
 student-arraydomain-essential.2019-02-27_1254.results.AbsInt OCT.Array-Boogie.xml            2019-02-27 13:42   84K  
 student-arraydomain-essential.2019-02-27_1254.results.Taipan Array-OCT.Array-Boogie.xml      2019-02-27 13:41  101K  
 student-arraydomain-essential.2019-02-27_1254.results.Taipan EXP+CONG.Array-Boogie.xml       2019-02-27 13:12   91K  
 student-arraydomain-essential.2019-02-27_1254.results.txt                                    2019-02-27 14:49   78K