Index of /logs/student-concurrency/20230616-095621-student-concurrency-3a8dd60cf0

 Name                                                                                                   Last modified      Size  Description
 Parent Directory                                                                                                            -   
 sleep-threadmodular.2023-06-12_09-45-05.logfiles-dump/                                                 2023-06-16 09:56    -   
 sleep-threadmodular.2023-06-12_09-45-05.logfiles/                                                      2023-06-12 18:03    -   
 aggregate.py                                                                                           2023-06-13 18:59  4.3K  
 aggregated-NoSleep.xml                                                                                 2023-06-13 18:58   23K  
 aggregated-SleepExplicit.xml                                                                           2023-06-13 18:58   24K  
 aggregated-SleepSymbolic.xml                                                                           2023-06-13 18:59   24K  
 fix_verdicts.py                                                                                        2023-06-13 13:45  1.6K  
 overview                                                                                               2023-06-16 09:56   14K  
 results.2023-06-13_18-59-11.diff.csv                                                                   2023-06-13 18:59  3.6K  
 results.2023-06-13_18-59-11.diff.html                                                                  2023-06-13 18:59  1.1M  
 results.2023-06-13_18-59-11.table.csv                                                                  2023-06-13 18:59  5.1K  
 results.2023-06-13_18-59-11.table.html                                                                 2023-06-13 18:59  1.1M  
 results.2023-06-14_10-50-43.table.csv                                                                  2023-06-14 10:50   14K  
 results.2023-06-14_10-50-43.table.html                                                                 2023-06-14 10:50  1.2M  
 sleep-threadmodular.2023-06-12_09-45-05.results.NoSleep.Eldarica.threadmodular-examples.xml            2023-06-13 13:45   22K  
 sleep-threadmodular.2023-06-12_09-45-05.results.NoSleep.Golem.threadmodular-examples.xml               2023-06-13 13:45   22K  
 sleep-threadmodular.2023-06-12_09-45-05.results.NoSleep.TreeAutomizer.threadmodular-examples.xml       2023-06-13 13:45   22K  
 sleep-threadmodular.2023-06-12_09-45-05.results.NoSleep.Z3.threadmodular-examples.xml                  2023-06-13 13:45   22K  
 sleep-threadmodular.2023-06-12_09-45-05.results.SleepExplicit.Eldarica.threadmodular-examples.xml      2023-06-13 13:45   22K  
 sleep-threadmodular.2023-06-12_09-45-05.results.SleepExplicit.Golem.threadmodular-examples.xml         2023-06-13 13:45   22K  
 sleep-threadmodular.2023-06-12_09-45-05.results.SleepExplicit.TreeAutomizer.threadmodular-examples.xml 2023-06-13 13:45   22K  
 sleep-threadmodular.2023-06-12_09-45-05.results.SleepExplicit.Z3.threadmodular-examples.xml            2023-06-13 13:45   22K  
 sleep-threadmodular.2023-06-12_09-45-05.results.SleepSymbolic.Eldarica.threadmodular-examples.xml      2023-06-13 13:45   22K  
 sleep-threadmodular.2023-06-12_09-45-05.results.SleepSymbolic.Golem.threadmodular-examples.xml         2023-06-13 13:45   22K  
 sleep-threadmodular.2023-06-12_09-45-05.results.SleepSymbolic.TreeAutomizer.threadmodular-examples.xml 2023-06-13 13:45   22K  
 sleep-threadmodular.2023-06-12_09-45-05.results.SleepSymbolic.Z3.threadmodular-examples.xml            2023-06-13 13:45   22K  
 sleep-threadmodular.2023-06-12_09-45-05.results.txt                                                    2023-06-12 18:06   36K  
 sleep-threadmodular.2023-06-12_09-45-05.results.UniHorn.threadmodular-examples.xml                     2023-06-13 13:45   22K