Index of /logs/student-schaetzle/20191015-090144-student-schaetzle-13a467a88a-M

Icon  Name                                                                                     Last modified      Size  Description
[PARENTDIR] Parent Directory                                                                                              -   
[DIR] student-sifa-svcomp-reachsafety-final.2019-10-14_2137.logfiles/                          2019-10-15 07:08    -   
[TXT] student-sifa-svcomp-reachsafety-final.2019-10-14_2137.results.Automizer.3200-nr.xml      2019-10-14 23:51  5.2M  
[TXT] student-sifa-svcomp-reachsafety-final.2019-10-14_2137.results.Taipan INT.3200-nr.xml     2019-10-15 01:29  5.1M  
[TXT] student-sifa-svcomp-reachsafety-final.2019-10-14_2137.results.Taipan Sifa 13.3200-nr.xml 2019-10-15 03:33  5.1M  
[TXT] student-sifa-svcomp-reachsafety-final.2019-10-14_2137.results.AbsInt INT.3200-nr.xml     2019-10-15 04:53  4.9M  
[TXT] student-sifa-svcomp-reachsafety-final.2019-10-14_2137.results.Sifa 13.3200-nr.xml        2019-10-15 07:09  5.2M  
[TXT] student-sifa-svcomp-reachsafety-final.2019-10-14_2137.results.txt                        2019-10-15 07:09  4.1M  
[TXT] results.2019-10-15_0900.diff.csv                                                         2019-10-15 09:01  770K  
[TXT] results.2019-10-15_0900.table.csv                                                        2019-10-15 09:01  1.2M  
[TXT] results.2019-10-15_0900.diff.html                                                        2019-10-15 09:01  4.7M  
[TXT] results.2019-10-15_0900.table.html                                                       2019-10-15 09:01  7.5M  
[   ] overview                                                                                 2019-10-15 09:04  1.4M  
[TXT] student-sifa-svcomp-reachsafety-final.2019-10-13_1737.results.Taipan Sifa 13.3200-nr.xml 2019-10-15 09:22  5.1M  
[TXT] comp.diff.csv                                                                            2019-10-15 09:22   32K  
[TXT] comp.diff.html                                                                           2019-10-15 09:22  242K  
[TXT] comp.table.csv                                                                           2019-10-15 09:22  677K  
[TXT] comp.table.html                                                                          2019-10-15 09:23  3.6M