Index of /logs/student-concurrency/20230913-181215-student-concurrency-413081681f

 Name                                                                                              Last modified      Size  Description
 Parent Directory                                                                                                       -   
 sleep-threadmodular.2023-09-13_11-41-34.logfiles/                                                 2023-09-13 15:40    -   
 results.2023-09-13_18-12-06.diff.csv                                                              2023-09-13 18:12  1.8K  
 results.2023-09-13_18-12-06.table.csv                                                             2023-09-13 18:12  2.0K  
 overview                                                                                          2023-09-13 18:12  3.5K  
 sleep-threadmodular.2023-09-13_11-41-34.results.txt                                               2023-09-13 17:40  6.4K  
 sleep-threadmodular.2023-09-13_11-41-34.results.SleepExplicit.Golem.threadmodular-unsolved.xml    2023-09-13 17:40   12K  
 sleep-threadmodular.2023-09-13_11-41-34.results.SleepExplicit.Z3.threadmodular-unsolved.xml       2023-09-13 15:40   12K  
 sleep-threadmodular.2023-09-13_11-41-34.results.SleepExplicit.Eldarica.threadmodular-unsolved.xml 2023-09-13 13:40   12K  
 results.2023-09-13_18-12-06.diff.html                                                             2023-09-13 18:12  1.1M  
 results.2023-09-13_18-12-06.table.html                                                            2023-09-13 18:12  1.1M