Index of /logs/student-concurrency/20230821-085859-student-concurrency-f0b1c91c49

 Name                                                                                                               Last modified      Size  Description
 Parent Directory                                                                                                                        -   
 termination-concurrency.2023-08-18_16-43-11.logfiles/                                                              2023-08-18 17:19    -   
 termination-concurrency.2023-08-18_16-43-11.logfiles-dump/                                                         2023-08-21 08:59    -   
 termination-concurrency.2023-08-18_16-43-11.results.txt                                                            2023-08-18 17:22   65K  
 termination-concurrency.2023-08-18_16-43-11.results.BuchiAutomaton NONE.SVCOMP Termination-Concurrent.xml          2023-08-18 16:56  196K  
 termination-concurrency.2023-08-18_16-43-11.results.BuchiAutomaton FAIRNESS_LAZY.SVCOMP Termination-Concurrent.xml 2023-08-18 17:22  197K  
 termination-concurrency.2023-08-18_16-43-11.results.BuchiAutomaton FAIRNESS.SVCOMP Termination-Concurrent.xml      2023-08-18 17:10  198K  
 results.2023-08-21_08-58-46.table.html                                                                             2023-08-21 08:58  1.3M  
 results.2023-08-21_08-58-46.table.csv                                                                              2023-08-21 08:58   35K  
 results.2023-08-21_08-58-46.diff.html                                                                              2023-08-21 08:58  1.2M  
 results.2023-08-21_08-58-46.diff.csv                                                                               2023-08-21 08:58   17K  
 overview                                                                                                           2023-08-21 08:59   10K