Index of /logs/student-schaetzle/20190921-080533-student-schaetzle-fea9116888

 Name                                                                             Last modified      Size  Description
 Parent Directory                                                                                      -   
 student-sifa-svcomp-reachsafety-final.2019-09-20_1256.logfiles/                  2019-09-21 00:14    -   
 overview                                                                         2019-09-21 08:07  1.6M  
 results.2019-09-21_0804.diff.csv                                                 2019-09-21 08:04  1.0M  
 results.2019-09-21_0804.diff.html                                                2019-09-21 08:04  6.6M  
 results.2019-09-21_0804.table.csv                                                2019-09-21 08:04  1.3M  
 results.2019-09-21_0804.table.html                                               2019-09-21 08:04  8.9M  
 student-sifa-svcomp-reachsafety-final.2019-09-20_1256.results.AbsInt INT.400.xml 2019-09-20 14:04  2.2M  
 student-sifa-svcomp-reachsafety-final.2019-09-20_1256.results.Automizer.400.xml  2019-09-20 13:25  2.2M  
 student-sifa-svcomp-reachsafety-final.2019-09-20_1256.results.Sifa 1.400.xml     2019-09-20 15:04  2.3M  
 student-sifa-svcomp-reachsafety-final.2019-09-20_1256.results.Sifa 10.400.xml    2019-09-20 23:14  2.3M  
 student-sifa-svcomp-reachsafety-final.2019-09-20_1256.results.Sifa 11.400.xml    2019-09-21 00:15  2.3M  
 student-sifa-svcomp-reachsafety-final.2019-09-20_1256.results.Sifa 2.400.xml     2019-09-20 15:42  2.2M  
 student-sifa-svcomp-reachsafety-final.2019-09-20_1256.results.Sifa 3.400.xml     2019-09-20 16:25  2.3M  
 student-sifa-svcomp-reachsafety-final.2019-09-20_1256.results.Sifa 4.400.xml     2019-09-20 17:19  2.3M  
 student-sifa-svcomp-reachsafety-final.2019-09-20_1256.results.Sifa 5.400.xml     2019-09-20 18:23  2.3M  
 student-sifa-svcomp-reachsafety-final.2019-09-20_1256.results.Sifa 6.400.xml     2019-09-20 19:22  2.3M  
 student-sifa-svcomp-reachsafety-final.2019-09-20_1256.results.Sifa 7.400.xml     2019-09-20 20:18  2.2M  
 student-sifa-svcomp-reachsafety-final.2019-09-20_1256.results.Sifa 8.400.xml     2019-09-20 21:21  2.3M  
 student-sifa-svcomp-reachsafety-final.2019-09-20_1256.results.Sifa 9.400.xml     2019-09-20 22:24  2.3M  
 student-sifa-svcomp-reachsafety-final.2019-09-20_1256.results.Taipan INT.400.xml 2019-09-20 13:47  2.2M  
 student-sifa-svcomp-reachsafety-final.2019-09-20_1256.results.txt                2019-09-21 00:15  5.1M