Index of /logs/svcomp-floats/20201124-090210-svcomp-floats-a1776c3221

Icon  Name                                                                             Last modified      Size  Description
[PARENTDIR] Parent Directory                                                                                      -   
[DIR] svcomp19-float-reach-automizer.2020-11-23_14-43-51.logfiles-dump/                2020-11-24 09:02    -   
[DIR] svcomp19-float-reach-automizer.2020-11-23_14-43-51.logfiles/                     2020-11-23 16:45    -   
[DIR] svcomp19-float-reach-automizer.2020-11-23_22-49-17.logfiles-dump/                2020-11-24 09:02    -   
[DIR] svcomp19-float-reach-automizer.2020-11-23_22-49-17.logfiles/                     2020-11-24 00:07    -   
[   ] overview                                                                         2020-11-24 09:02  146K  
[TXT] results.2020-11-24_09-01-57.diff.csv                                             2020-11-24 09:01   39K  
[TXT] results.2020-11-24_09-01-57.diff.html                                            2020-11-24 09:01  1.2M  
[TXT] results.2020-11-24_09-01-57.table.csv                                            2020-11-24 09:01   67K  
[TXT] results.2020-11-24_09-01-57.table.html                                           2020-11-24 09:01  1.4M  
[TXT] svcomp19-float-reach-automizer.2020-11-23_14-43-51.results.Automizer.Floats.csv  2020-11-24 09:01   43K  
[TXT] svcomp19-float-reach-automizer.2020-11-23_14-43-51.results.Automizer.Floats.html 2020-11-24 09:01  1.2M  
[TXT] svcomp19-float-reach-automizer.2020-11-23_14-43-51.results.Automizer.Floats.txt  2020-11-23 16:59   59K  
[TXT] svcomp19-float-reach-automizer.2020-11-23_14-43-51.results.Automizer.Floats.xml  2020-11-23 16:59  606K  
[TXT] svcomp19-float-reach-automizer.2020-11-23_22-49-17.results.Automizer.Floats.csv  2020-11-24 09:00   43K  
[TXT] svcomp19-float-reach-automizer.2020-11-23_22-49-17.results.Automizer.Floats.html 2020-11-24 09:00  1.2M  
[TXT] svcomp19-float-reach-automizer.2020-11-23_22-49-17.results.Automizer.Floats.txt  2020-11-24 00:21   59K  
[TXT] svcomp19-float-reach-automizer.2020-11-23_22-49-17.results.Automizer.Floats.xml  2020-11-24 00:21  574K