Index of /logs/student-concurrency/20230110-110448-student-concurrency-d6e16366a8

 Name                                                                                                                                  Last modified      Size  Description
 Parent Directory                                                                                                                                           -   
 concurrency.2022-12-11_18-40-24.logfiles-dump/                                                                                        2023-01-10 11:05    -   
 concurrency.2022-12-11_18-40-24.logfiles/                                                                                             2022-12-13 13:43    -   
 concurrency.2022-12-11_18-40-24.results.PetriAutomizer.OnDemand.RemoveDead.SVCOMP-ConcurrencySafety-Main.xml                          2022-12-12 11:25  905K  
 concurrency.2022-12-11_18-40-24.results.PetriAutomizer.OnDemand.RemoveRedundantFlow.SVCOMP-ConcurrencySafety-Main.xml                 2022-12-12 14:19  905K  
 concurrency.2022-12-11_18-40-24.results.PetriAutomizer.OnDemand.SVCOMP-ConcurrencySafety-Main.xml                                     2022-12-11 23:14  899K  
 concurrency.2022-12-11_18-40-24.results.PetriAutomizer.RepeatedSemanticLBE.OnDemand.RemoveDead.SVCOMP-ConcurrencySafety-Main.xml      2022-12-13 09:01  899K  
 concurrency.2022-12-11_18-40-24.results.PetriAutomizer.RepeatedSemanticLBE.OnDemand.SVCOMP-ConcurrencySafety-Main.xml                 2022-12-13 05:52  912K  
 concurrency.2022-12-11_18-40-24.results.PetriAutomizer.RepeatedSemanticLBE.SVCOMP-ConcurrencySafety-Main.xml                          2022-12-13 02:44  905K  
 concurrency.2022-12-11_18-40-24.results.PetriAutomizer.RepeatedSemanticLbeWithDisjunctivePredicates.SVCOMP-ConcurrencySafety-Main.xml 2022-12-13 13:58  916K  
 concurrency.2022-12-11_18-40-24.results.PetriAutomizer.RepeatedSemanticLbeWithPredicates.SVCOMP-ConcurrencySafety-Main.xml            2022-12-13 11:28  898K  
 concurrency.2022-12-11_18-40-24.results.PetriAutomizer.SemanticLBE.OnDemand.RemoveDead.SVCOMP-ConcurrencySafety-Main.xml              2022-12-13 00:17  904K  
 concurrency.2022-12-11_18-40-24.results.PetriAutomizer.SemanticLBE.OnDemand.SVCOMP-ConcurrencySafety-Main.xml                         2022-12-12 21:16  903K  
 concurrency.2022-12-11_18-40-24.results.PetriAutomizer.SemanticLBE.SVCOMP-ConcurrencySafety-Main.xml                                  2022-12-12 18:16  895K  
 concurrency.2022-12-11_18-40-24.results.PetriAutomizer.SVCOMP-ConcurrencySafety-Main.xml                                              2022-12-11 20:36  897K  
 concurrency.2022-12-11_18-40-24.results.txt                                                                                           2022-12-13 13:58  1.7M  
 overview                                                                                                                              2023-01-10 11:05   35K  
 results.2022-12-13_15-17-58.diff.csv                                                                                                  2022-12-13 15:17  200K  
 results.2022-12-13_15-17-58.diff.html                                                                                                 2022-12-13 15:17  2.3M  
 results.2022-12-13_15-17-58.table.csv                                                                                                 2022-12-13 15:17  432K  
 results.2022-12-13_15-17-58.table.html                                                                                                2022-12-13 15:17  3.7M