Index of /logs/student-arraydomain/20181224-134324-student-arraydomain-e1a14da650

 Name                                                                                         Last modified      Size  Description
 Parent Directory                                                                                                  -   
 student-arraydomain-essential.2018-12-23_2136.logfiles/                                      2018-12-24 00:00    -   
 overview                                                                                     2018-12-24 13:43   22K  
 results.2018-12-24_1343.table.csv                                                            2018-12-24 13:43   28K  
 results.2018-12-24_1343.table.html                                                           2018-12-24 13:43  247K  
 student-arraydomain-essential.2018-12-23_2136.results.AbsInt Array-EXP+CONG.Array-Boogie.xml 2018-12-23 22:50   95K  
 student-arraydomain-essential.2018-12-23_2136.results.AbsInt Array-OCT+CONG.Array-Boogie.xml 2018-12-23 23:32  101K  
 student-arraydomain-essential.2018-12-23_2136.results.AbsInt Array-OCT.Array-Boogie.xml      2018-12-24 00:14  109K  
 student-arraydomain-essential.2018-12-23_2136.results.AbsInt EXP+CONG.Array-Boogie.xml       2018-12-23 22:48   87K  
 student-arraydomain-essential.2018-12-23_2136.results.AbsInt OCT+CONG.Array-Boogie.xml       2018-12-23 22:49   90K  
 student-arraydomain-essential.2018-12-23_2136.results.AbsInt OCT.Array-Boogie.xml            2018-12-23 22:49   88K  
 student-arraydomain-essential.2018-12-23_2136.results.Taipan Array-OCT.Array-Boogie.xml      2018-12-23 22:48  114K  
 student-arraydomain-essential.2018-12-23_2136.results.Taipan EXP+CONG.Array-Boogie.xml       2018-12-23 21:54  104K  
 student-arraydomain-essential.2018-12-23_2136.results.txt                                    2018-12-24 00:14   78K