Index of /logs/student-schaetzle/20191107-125635-student-schaetzle-fb55353728

 Name                                                                                     Last modified      Size  Description
 Parent Directory                                                                                              -   
 student-sifa-svcomp-reachsafety-final.2019-11-06_1832.logfiles/                          2019-11-07 11:07    -   
 results.2019-11-07_1255.diff.csv                                                         2019-11-07 12:56  774K  
 results.2019-11-07_1255.table.csv                                                        2019-11-07 12:56  1.2M  
 overview                                                                                 2019-11-07 13:17  1.4M  
 student-sifa-svcomp-reachsafety-final.2019-11-06_1832.results.AbsInt INT.3200-nr.xml     2019-11-07 07:14  4.0M  
 student-sifa-svcomp-reachsafety-final.2019-11-06_1832.results.txt                        2019-11-07 11:08  4.1M  
 student-sifa-svcomp-reachsafety-final.2019-11-06_1832.results.Sifa 13.3200-nr.xml        2019-11-07 11:08  4.2M  
 student-sifa-svcomp-reachsafety-final.2019-11-06_1832.results.Automizer.3200-nr.xml      2019-11-06 22:25  4.3M  
 student-sifa-svcomp-reachsafety-final.2019-11-06_1832.results.Taipan INT.3200-nr.xml     2019-11-07 01:16  4.5M  
 results.2019-11-07_1255.diff.html                                                        2019-11-07 12:56  4.8M  
 student-sifa-svcomp-reachsafety-final.2019-11-06_1832.results.Taipan Sifa 13.3200-nr.xml 2019-11-07 04:53  5.1M  
 results.2019-11-07_1255.table.html                                                       2019-11-07 12:56  7.5M