Index of /logs/student-arraydomain/20190304-210044-student-arraydomain-c87fd273b1

 Name                                                                               Last modified      Size  Description
 Parent Directory                                                                                        -   
 student-arraydomain-eval.2019-03-04_1623.logfiles/                                 2019-03-04 17:11    -   
 student-arraydomain-eval.2019-03-04_1623.results.txt                               2019-03-04 17:25   31K  
 student-arraydomain-eval.2019-03-04_1623.results.Taipan OCT.Array-Boogie.xml       2019-03-04 16:52   71K  
 student-arraydomain-eval.2019-03-04_1623.results.Taipan Array-OCT.Array-Boogie.xml 2019-03-04 17:10   71K  
 student-arraydomain-eval.2019-03-04_1623.results.Automizer.Array-Boogie.xml        2019-03-04 16:38   67K  
 student-arraydomain-eval.2019-03-04_1623.results.AbsInt Array-OCT.Array-Boogie.xml 2019-03-04 17:25   65K  
 results.2019-03-04_2100.table.html                                                 2019-03-04 21:00  136K  
 results.2019-03-04_2100.table.csv                                                  2019-03-04 21:00   12K  
 results.2019-03-04_2100.diff.html                                                  2019-03-04 21:00  126K  
 results.2019-03-04_2100.diff.csv                                                   2019-03-04 21:00   10K  
 overview                                                                           2019-03-04 21:00  4.0K