Index of /logs/student-concurrency/20230908-151921-student-concurrency-42053ae134

 Name                                                                                                                       Last modified      Size  Description
 Parent Directory                                                                                                                                -   
 termination-concurrency.2023-09-08_14-26-32.logfiles-dump/                                                                 2023-09-08 15:19    -   
 termination-concurrency.2023-09-08_14-26-32.logfiles/                                                                      2023-09-08 15:15    -   
 overview                                                                                                                   2023-09-08 15:19  7.7K  
 results.2023-09-08_15-19-12.diff.csv                                                                                       2023-09-08 15:19   14K  
 results.2023-09-08_15-19-12.diff.html                                                                                      2023-09-08 15:19  1.2M  
 results.2023-09-08_15-19-12.table.csv                                                                                      2023-09-08 15:19   26K  
 results.2023-09-08_15-19-12.table.html                                                                                     2023-09-08 15:19  1.3M  
 termination-concurrency.2023-09-08_14-26-32.results.BuchiAutomaton FAIRNESS_INTERSECTION.SVCOMP Termination-Concurrent.xml 2023-09-08 14:52  197K  
 termination-concurrency.2023-09-08_14-26-32.results.BuchiAutomaton FAIRNESS_LAZY.SVCOMP Termination-Concurrent.xml         2023-09-08 15:19  201K  
 termination-concurrency.2023-09-08_14-26-32.results.BuchiAutomaton NONE.SVCOMP Termination-Concurrent.xml                  2023-09-08 14:39  196K  
 termination-concurrency.2023-09-08_14-26-32.results.txt                                                                    2023-09-08 15:19   65K