Index of /logs/frank-absint/20220921-170719-concurrency-undefined-c9b613c215

 Name                                                                                               Last modified      Size  Description
 Parent Directory                                                                                                        -   
 student-abstract-interpretation-bpl.2022-09-21_14-23-03.logfiles-dump/                             2022-09-21 17:07    -   
 student-abstract-interpretation-bpl.2022-09-21_14-23-03.logfiles/                                  2022-09-21 14:32    -   
 overview                                                                                           2022-09-21 17:07  9.2K  
 results.2022-09-21_15-33-25.diff.csv                                                               2022-09-21 15:33  7.7K  
 results.2022-09-21_15-33-25.diff.html                                                              2022-09-21 15:33  1.1M  
 results.2022-09-21_15-33-25.table.csv                                                              2022-09-21 15:33   41K  
 results.2022-09-21_15-33-25.table.html                                                             2022-09-21 15:33  1.3M  
 student-abstract-interpretation-bpl.2022-09-21_14-23-03.results.Flow insensitive.Ultimate Repo.xml 2022-09-21 14:25  342K  
 student-abstract-interpretation-bpl.2022-09-21_14-23-03.results.Flow sensitive.Ultimate Repo.xml   2022-09-21 14:33  356K  
 student-abstract-interpretation-bpl.2022-09-21_14-23-03.results.txt                                2022-09-21 14:33   77K