Index of /logs/student-schaetzle/20190904-092826-student-schaetzle-c6af20d010

 Name                                                                                         Last modified      Size  Description
 Parent Directory                                                                                                  -   
 student-sifa-svcomp-reachsafety-seed-comparison.2019-09-03_1609.logfiles/                    2019-09-03 21:27    -   
 student-sifa-svcomp-reachsafety-seed-comparison.2019-09-03_1609.results.Sifa INT.Loops.xml   2019-09-03 19:19  350K  
 student-sifa-svcomp-reachsafety-seed-comparison.2019-09-03_1609.results.Automizer.Loops.xml  2019-09-03 20:36  265K  
 student-sifa-svcomp-reachsafety-seed-comparison.2019-09-03_1609.results.Taipan INT.Loops.xml 2019-09-03 21:25  269K  
 student-sifa-svcomp-reachsafety-seed-comparison.2019-09-03_1609.results.AbsInt INT.Loops.xml 2019-09-03 21:41  270K  
 student-sifa-svcomp-reachsafety-seed-comparison.2019-09-03_1609.results.txt                  2019-09-03 21:41  117K  
 results.2019-09-04_0928.table.csv                                                            2019-09-04 09:28   55K  
 results.2019-09-04_0928.diff.csv                                                             2019-09-04 09:28   53K  
 results.2019-09-04_0928.diff.html                                                            2019-09-04 09:28  402K  
 results.2019-09-04_0928.table.html                                                           2019-09-04 09:28  416K  
 overview                                                                                     2019-09-04 09:28   46K  
 sifaStats-POP8AO.csv                                                                         2019-09-04 09:34  9.7K