Index of /logs/student-arraydomain/20181220-112554-student-arraydomain-fb97592a96

 Name                                                                                         Last modified      Size  Description
 Parent Directory                                                                                                  -   
 student-arraydomain-essential.2018-12-19_2117.logfiles/                                      2018-12-19 22:47    -   
 overview                                                                                     2018-12-20 11:26   18K  
 results.2018-12-20_1125.table.csv                                                            2018-12-20 11:25   28K  
 results.2018-12-20_1125.table.html                                                           2018-12-20 11:25  247K  
 student-arraydomain-essential.2018-12-19_2117.results.AbsInt Array-EXP+CONG.Array-Boogie.xml 2018-12-19 21:58   98K  
 student-arraydomain-essential.2018-12-19_2117.results.AbsInt Array-OCT+CONG.Array-Boogie.xml 2018-12-19 22:43   91K  
 student-arraydomain-essential.2018-12-19_2117.results.AbsInt Array-OCT.Array-Boogie.xml      2018-12-19 23:00  100K  
 student-arraydomain-essential.2018-12-19_2117.results.AbsInt EXP+CONG.Array-Boogie.xml       2018-12-19 21:56   91K  
 student-arraydomain-essential.2018-12-19_2117.results.AbsInt OCT+CONG.Array-Boogie.xml       2018-12-19 21:57   89K  
 student-arraydomain-essential.2018-12-19_2117.results.AbsInt OCT.Array-Boogie.xml            2018-12-19 21:57   89K  
 student-arraydomain-essential.2018-12-19_2117.results.Taipan Array-OCT.Array-Boogie.xml      2018-12-19 21:56  108K  
 student-arraydomain-essential.2018-12-19_2117.results.Taipan EXP+CONG.Array-Boogie.xml       2018-12-19 21:35  103K  
 student-arraydomain-essential.2018-12-19_2117.results.txt                                    2018-12-19 23:00   78K