Index of /logs/student-schaetzle/20191124-201653-student-schaetzle-659866454d

 Name                                                                                    Last modified      Size  Description
 Parent Directory                                                                                             -   
 student-sifa-svcomp-reachsafety-post.2019-11-23_2009.logfiles/                          2019-11-24 06:23    -   
 student-sifa-svcomp-reachsafety-post.2019-11-24_0921.logfiles/                          2019-11-24 18:59    -   
 overview                                                                                2019-11-24 20:18  1.5M  
 results.2019-11-24_2016.diff.csv                                                        2019-11-24 20:16  677K  
 results.2019-11-24_2016.diff.html                                                       2019-11-24 20:16  4.3M  
 results.2019-11-24_2016.table.csv                                                       2019-11-24 20:16  871K  
 results.2019-11-24_2016.table.html                                                      2019-11-24 20:16  5.3M  
 student-sifa-svcomp-reachsafety-post.2019-11-23_2009.results.Automizer.3200-nr.xml      2019-11-23 22:51  3.8M  
 student-sifa-svcomp-reachsafety-post.2019-11-23_2009.results.Taipan Sifa 13.3200-nr.xml 2019-11-24 06:07  4.0M  
 student-sifa-svcomp-reachsafety-post.2019-11-23_2009.results.txt                        2019-11-24 06:23  2.4M  
 student-sifa-svcomp-reachsafety-post.2019-11-24_0921.results.Sifa 13.3200-nr.txt        2019-11-24 19:00  836K  
 student-sifa-svcomp-reachsafety-post.2019-11-24_0921.results.Sifa 13.3200-nr.xml        2019-11-24 19:00  4.0M