Index of /logs/vanilla-vs-bitabs/20231228-135149-vanilla-vs-bitabs-d9c3e40566-M/bitabs-svcomp-32.2023-12-18_16-17-59.logfiles-dump

 Name                                                                    Last modified      Size  Description
 Parent Directory                                                                             -