Index of /logs/student-concurrency/20230707-084554-student-concurrency-5ab1b013f7-M

 Name                                                                                                   Last modified      Size  Description
 Parent Directory                                                                                                            -   
 sleep-threadmodular.2023-07-03_11-12-38.logfiles-dump/                                                 2023-07-07 08:45    -   
 sleep-threadmodular.2023-07-03_11-12-38.logfiles/                                                      2023-07-03 22:52    -   
 _README.txt                                                                                            2023-07-07 08:45  278   
 overview                                                                                               2023-07-07 08:45   11K  
 results.2023-07-04_09-46-28.diff.csv                                                                   2023-07-04 09:46   17K  
 results.2023-07-04_09-46-28.table.csv                                                                  2023-07-04 09:46   18K  
 sleep-threadmodular.2023-07-03_11-12-38.results.NoSleep.Golem.threadmodular-examples.xml               2023-07-03 21:18   25K  
 sleep-threadmodular.2023-07-03_11-12-38.results.SleepExplicit.Golem.threadmodular-examples.xml         2023-07-03 14:21   25K  
 sleep-threadmodular.2023-07-03_11-12-38.results.SleepSymbolic.Golem.threadmodular-examples.xml         2023-07-03 18:20   25K  
 sleep-threadmodular.2023-07-03_11-12-38.results.NoSleep.Z3.threadmodular-examples.xml                  2023-07-03 20:47   25K  
 sleep-threadmodular.2023-07-03_11-12-38.results.NoSleep.Eldarica.threadmodular-examples.xml            2023-07-03 20:16   25K  
 sleep-threadmodular.2023-07-03_11-12-38.results.SleepExplicit.Eldarica.threadmodular-examples.xml      2023-07-03 11:51   25K  
 sleep-threadmodular.2023-07-03_11-12-38.results.SleepExplicit.Z3.threadmodular-examples.xml            2023-07-03 12:50   25K  
 sleep-threadmodular.2023-07-03_11-12-38.results.SleepExplicit.Z3.KeepAssert.threadmodular-examples.xml 2023-07-03 13:50   25K  
 sleep-threadmodular.2023-07-03_11-12-38.results.SleepSymbolic.Z3.threadmodular-examples.xml            2023-07-03 17:47   25K  
 sleep-threadmodular.2023-07-03_11-12-38.results.UniHorn.threadmodular-examples.xml                     2023-07-03 22:54   25K  
 sleep-threadmodular.2023-07-03_11-12-38.results.SleepSymbolic.Eldarica.threadmodular-examples.xml      2023-07-03 16:47   25K  
 sleep-threadmodular.2023-07-03_11-12-38.results.SleepExplicit.TreeAutomizer.threadmodular-examples.xml 2023-07-03 15:49   26K  
 sleep-threadmodular.2023-07-03_11-12-38.results.NoSleep.TreeAutomizer.threadmodular-examples.xml       2023-07-03 22:46   26K  
 sleep-threadmodular.2023-07-03_11-12-38.results.SleepSymbolic.TreeAutomizer.threadmodular-examples.xml 2023-07-03 19:48   26K  
 sleep-threadmodular.2023-07-03_11-12-38.results.txt                                                    2023-07-03 22:54   43K  
 results.2023-07-04_09-46-28.diff.html                                                                  2023-07-04 09:46  1.2M  
 results.2023-07-04_09-46-28.table.html                                                                 2023-07-04 09:46  1.2M