Index of /logs/svcomp24-automizer-small/20231123-172336-svcomp24-automizer-small-c4f91361f7-M/automizer.2023-11-23_16-15-13.logfiles

Icon  Name                                                                                  Last modified      Size  Description
[PARENTDIR] Parent Directory                                                                                           -   
[TXT] Automizer.divinefifo-bug_1w1r.yml.log                                                 2023-11-23 16:16  259K  
[TXT] Automizer.one_time_barrier_2t.yml.log                                                 2023-11-23 16:16   74K  
[TXT] Automizer.one_time_barrier_3t.yml.log                                                 2023-11-23 16:16   54K  
[TXT] Automizer.one_time_barrier_twice_2t.yml.log                                           2023-11-23 16:16   74K  
[TXT] Automizer.one_time_barrier_twice_3t.yml.log                                           2023-11-23 16:16   74K  
[TXT] Automizer.per-thread-array-init.yml.log                                               2023-11-23 16:31  1.1M  
[TXT] Automizer.per-thread-array-join-counter-2.yml.log                                     2023-11-23 16:16  144K  
[TXT] Automizer.per-thread-array-join-counter-race-2.yml.log                                2023-11-23 16:16  126K  
[TXT] Automizer.per-thread-array-join-counter-race-3.yml.log                                2023-11-23 16:16  143K  
[TXT] Automizer.per-thread-array-join-counter-race-4.yml.log                                2023-11-23 16:16  195K