Index of /logs/student-schaetzle/20191004-182917-student-schaetzle-673a906389-M

 Name                                                                                 Last modified      Size  Description
 Parent Directory                                                                                          -   
 student-sifa-svcomp-reachsafety-final.2019-10-01_2143.logfiles/                      2019-10-04 14:32    -   
 overview                                                                             2019-10-04 18:37  575K  
 results.2019-10-04_1828.diff.csv                                                     2019-10-04 18:28  806K  
 results.2019-10-04_1828.diff.html                                                    2019-10-04 18:28  4.9M  
 results.2019-10-04_1828.table.csv                                                    2019-10-04 18:28  1.0M  
 results.2019-10-04_1828.table.html                                                   2019-10-04 18:28  6.3M  
 student-sifa-svcomp-reachsafety-final.2019-10-01_2143.results.AbsInt INT.3200-nr.xml 2019-10-03 13:04  4.6M  
 student-sifa-svcomp-reachsafety-final.2019-10-01_2143.results.Automizer.3200-nr.xml  2019-10-02 16:29  5.0M  
 student-sifa-svcomp-reachsafety-final.2019-10-01_2143.results.Sifa 13.3200-nr.xml    2019-10-04 14:44  4.8M  
 student-sifa-svcomp-reachsafety-final.2019-10-01_2143.results.Taipan INT.3200-nr.xml 2019-10-03 04:23  4.6M  
 student-sifa-svcomp-reachsafety-final.2019-10-01_2143.results.txt                    2019-10-04 14:44  3.3M