Index of /logs/student-schaetzle/20190920-114307-student-schaetzle-efa34d5f59

 Name                                                                             Last modified      Size  Description
 Parent Directory                                                                                      -   
 student-sifa-svcomp-reachsafety-final.2019-09-16_1610.logfiles/                  2019-09-20 06:02    -   
 overview                                                                         2019-09-20 11:45  871K  
 results.2019-09-20_1141.diff.csv                                                 2019-09-20 11:41  1.0M  
 results.2019-09-20_1141.diff.html                                                2019-09-20 11:42  6.7M  
 results.2019-09-20_1141.table.csv                                                2019-09-20 11:41  1.3M  
 results.2019-09-20_1141.table.html                                               2019-09-20 11:42  9.1M  
 student-sifa-svcomp-reachsafety-final.2019-09-16_1610.results.AbsInt INT.400.xml 2019-09-16 17:44  2.2M  
 student-sifa-svcomp-reachsafety-final.2019-09-16_1610.results.Automizer.400.xml  2019-09-16 17:02  2.2M  
 student-sifa-svcomp-reachsafety-final.2019-09-16_1610.results.Sifa 1.400.xml     2019-09-17 02:05  2.3M  
 student-sifa-svcomp-reachsafety-final.2019-09-16_1610.results.Sifa 10.400.xml    2019-09-19 21:39  2.2M  
 student-sifa-svcomp-reachsafety-final.2019-09-16_1610.results.Sifa 11.400.xml    2019-09-20 06:17  2.3M  
 student-sifa-svcomp-reachsafety-final.2019-09-16_1610.results.Sifa 2.400.xml     2019-09-17 05:42  2.1M  
 student-sifa-svcomp-reachsafety-final.2019-09-16_1610.results.Sifa 3.400.xml     2019-09-17 09:33  2.1M  
 student-sifa-svcomp-reachsafety-final.2019-09-16_1610.results.Sifa 4.400.xml     2019-09-17 15:20  2.1M  
 student-sifa-svcomp-reachsafety-final.2019-09-16_1610.results.Sifa 5.400.xml     2019-09-18 02:39  2.3M  
 student-sifa-svcomp-reachsafety-final.2019-09-16_1610.results.Sifa 6.400.xml     2019-09-18 11:18  2.3M  
 student-sifa-svcomp-reachsafety-final.2019-09-16_1610.results.Sifa 7.400.xml     2019-09-18 21:11  2.4M  
 student-sifa-svcomp-reachsafety-final.2019-09-16_1610.results.Sifa 8.400.xml     2019-09-19 06:57  2.3M  
 student-sifa-svcomp-reachsafety-final.2019-09-16_1610.results.Sifa 9.400.xml     2019-09-19 17:00  2.3M  
 student-sifa-svcomp-reachsafety-final.2019-09-16_1610.results.Taipan INT.400.xml 2019-09-16 17:27  2.2M  
 student-sifa-svcomp-reachsafety-final.2019-09-16_1610.results.txt                2019-09-20 06:17  5.1M