Index of /logs/student-concurrency/20220119-222453-student-concurrency-bf34d2729d

 Name                                                                                                                  Last modified      Size  Description
 Parent Directory                                                                                                                           -   
 concurrency-insufficient-separately.2022-01-18_21-26-30.logfiles/                                                     2022-01-19 15:38    -   
 concurrency-insufficient-separately.2022-01-18_21-26-30.logfiles-dump/                                                2022-01-19 22:25    -   
 concurrency-insufficient-separately.2022-01-18_21-26-30.results.Automizer PN.SVCOMP ConcurrencySafety-Main.xml        2022-01-19 03:25  1.2M  
 concurrency-insufficient-separately.2022-01-18_21-26-30.results.Automizer PN.Before.SVCOMP ConcurrencySafety-Main.xml 2022-01-19 09:46  1.2M  
 concurrency-insufficient-separately.2022-01-18_21-26-30.results.Automizer PN.After.SVCOMP ConcurrencySafety-Main.xml  2022-01-19 15:46  1.3M  
 concurrency-insufficient-separately.2022-01-18_21-26-30.results.txt                                                   2022-01-19 15:46  544K  
 results.2022-01-19_22-24-34.diff.csv                                                                                  2022-01-19 22:24   19K  
 results.2022-01-19_22-24-34.diff.html                                                                                 2022-01-19 22:24  1.2M  
 results.2022-01-19_22-24-34.table.csv                                                                                 2022-01-19 22:24  165K  
 results.2022-01-19_22-24-34.table.html                                                                                2022-01-19 22:24  2.0M  
 overview                                                                                                              2022-01-19 22:25   35K