Index of /logs/student-schaetzle/20191007-204348-student-schaetzle-36ac518ce5-M

 Name                                                                                      Last modified      Size  Description
 Parent Directory                                                                                               -   
 student-sifa-svcomp-reachsafety-final.2019-10-06_2245.logfiles/                           2019-10-07 17:16    -   
 overview                                                                                  2019-10-07 20:55  175K  
 student-sifa-svcomp-reachsafety-final.2019-10-06_2245.results.Taipan Sifa 13.3200-nr.csv  2019-10-07 20:43  503K  
 student-sifa-svcomp-reachsafety-final.2019-10-06_2245.results.Taipan Sifa 13.3200-nr.html 2019-10-07 20:43  2.4M  
 student-sifa-svcomp-reachsafety-final.2019-10-06_2245.results.Taipan Sifa 13.3200-nr.txt  2019-10-07 17:23  838K  
 student-sifa-svcomp-reachsafety-final.2019-10-06_2245.results.Taipan Sifa 13.3200-nr.xml  2019-10-07 17:23  4.8M