Index of /logs/svcomp24-automizer-small/20231123-172336-svcomp24-automizer-small-c4f91361f7-M

Icon  Name                                                                            Last modified      Size  Description
[PARENTDIR] Parent Directory                                                                                     -   
[DIR] automizer.2023-11-23_14-14-04.logfiles-dump/                                    2023-11-23 17:23    -   
[DIR] automizer.2023-11-23_14-14-04.logfiles/                                         2023-11-23 15:26    -   
[DIR] automizer.2023-11-23_15-31-36.logfiles-dump/                                    2023-11-23 17:23    -   
[DIR] automizer.2023-11-23_15-31-36.logfiles/                                         2023-11-23 15:55    -   
[DIR] automizer.2023-11-23_16-00-13.logfiles/                                         2023-11-23 16:10    -   
[DIR] automizer.2023-11-23_16-15-13.logfiles/                                         2023-11-23 16:15    -   
[DIR] automizer.2023-11-23_16-15-17.logfiles/                                         2023-11-23 16:24    -   
[TXT] automizer.2023-11-23_14-14-04.results.Automizer.SmallPrerun-ReachSafety.csv     2023-11-23 17:21   47K  
[TXT] automizer.2023-11-23_14-14-04.results.Automizer.SmallPrerun-ReachSafety.html    2023-11-23 17:21  1.3M  
[TXT] automizer.2023-11-23_14-14-04.results.Automizer.SmallPrerun-ReachSafety.txt     2023-11-23 15:31   98K  
[TXT] automizer.2023-11-23_14-14-04.results.Automizer.SmallPrerun-ReachSafety.xml     2023-11-23 15:31  506K  
[TXT] automizer.2023-11-23_15-31-36.results.Automizer.SmallPrerun-ValidMemsafety.csv  2023-11-23 17:21   20K  
[TXT] automizer.2023-11-23_15-31-36.results.Automizer.SmallPrerun-ValidMemsafety.html 2023-11-23 17:21  1.2M  
[TXT] automizer.2023-11-23_15-31-36.results.Automizer.SmallPrerun-ValidMemsafety.txt  2023-11-23 16:00   37K  
[TXT] automizer.2023-11-23_15-31-36.results.Automizer.SmallPrerun-ValidMemsafety.xml  2023-11-23 16:00  209K  
[TXT] automizer.2023-11-23_16-00-13.results.Automizer.SmallPrerun-NoOverflow.csv      2023-11-23 17:21   21K  
[TXT] automizer.2023-11-23_16-00-13.results.Automizer.SmallPrerun-NoOverflow.html     2023-11-23 17:21  1.2M  
[TXT] automizer.2023-11-23_16-00-13.results.Automizer.SmallPrerun-NoOverflow.txt      2023-11-23 16:15   40K  
[TXT] automizer.2023-11-23_16-00-13.results.Automizer.SmallPrerun-NoOverflow.xml      2023-11-23 16:15  247K  
[TXT] automizer.2023-11-23_16-15-13.results.Automizer.SmallPrerun-NoDataRace.csv      2023-11-23 17:21  4.0K  
[TXT] automizer.2023-11-23_16-15-13.results.Automizer.SmallPrerun-NoDataRace.html     2023-11-23 17:21  1.1M  
[TXT] automizer.2023-11-23_16-15-13.results.Automizer.SmallPrerun-NoDataRace.txt      2023-11-23 16:15  1.4K  
[TXT] automizer.2023-11-23_16-15-13.results.Automizer.SmallPrerun-NoDataRace.xml      2023-11-23 16:15   29K  
[TXT] automizer.2023-11-23_16-15-17.results.Automizer.SmallPrerun-Termination.csv     2023-11-23 17:21   15K  
[TXT] automizer.2023-11-23_16-15-17.results.Automizer.SmallPrerun-Termination.html    2023-11-23 17:21  1.2M  
[TXT] automizer.2023-11-23_16-15-17.results.Automizer.SmallPrerun-Termination.txt     2023-11-23 16:27   34K  
[TXT] automizer.2023-11-23_16-15-17.results.Automizer.SmallPrerun-Termination.xml     2023-11-23 16:27  178K  
[   ] overview                                                                        2023-11-23 17:23  113K