Index of /logs/student-concurrency/20230917-163009-student-concurrency-42053ae134

 Name                                                                                                                       Last modified      Size  Description
 Parent Directory                                                                                                                                -   
 termination-concurrency.2023-09-17_11-15-31.logfiles-dump/                                                                 2023-09-17 16:30    -   
 termination-concurrency.2023-09-17_11-15-31.logfiles/                                                                      2023-09-17 12:12    -   
 overview                                                                                                                   2023-09-17 16:30   11K  
 results.2023-09-17_16-29-50.diff.csv                                                                                       2023-09-17 16:29   22K  
 results.2023-09-17_16-29-50.diff.html                                                                                      2023-09-17 16:29  1.2M  
 results.2023-09-17_16-29-50.table.csv                                                                                      2023-09-17 16:29   41K  
 results.2023-09-17_16-29-50.table.html                                                                                     2023-09-17 16:29  1.3M  
 termination-concurrency.2023-09-17_11-15-31.results.BuchiAutomaton FAIRNESS_INTERSECTION.SVCOMP Termination-Concurrent.xml 2023-09-17 11:50  227K  
 termination-concurrency.2023-09-17_11-15-31.results.BuchiAutomaton FAIRNESS_LAZY.SVCOMP Termination-Concurrent.xml         2023-09-17 12:16  228K  
 termination-concurrency.2023-09-17_11-15-31.results.BuchiAutomaton NONE.SVCOMP Termination-Concurrent.xml                  2023-09-17 11:31  224K  
 termination-concurrency.2023-09-17_11-15-31.results.txt                                                                    2023-09-17 12:16   74K