Index of /logs/student-concurrency/20220118-202920-student-concurrency-bc795268c7

 Name                                                                                                                      Last modified      Size  Description
 Parent Directory                                                                                                                               -   
 concurrency-insufficient-separately.2022-01-17_21-54-51.logfiles-dump/                                                    2022-01-18 20:29    -   
 concurrency-insufficient-separately.2022-01-17_21-54-51.logfiles/                                                         2022-01-18 17:55    -   
 concurrency-insufficient-separately.2022-01-17_21-54-51.results.Automizer FA.Separately.SVCOMP ConcurrencySafety-Main.xml 2022-01-18 18:05  1.2M  
 concurrency-insufficient-separately.2022-01-17_21-54-51.results.Automizer FA.Separately.Ultimate Repo: Boogie.xml         2022-01-18 18:05   95K  
 concurrency-insufficient-separately.2022-01-17_21-54-51.results.Automizer FA.Separately.Ultimate Repo: MCR.xml            2022-01-18 18:05   37K  
 concurrency-insufficient-separately.2022-01-17_21-54-51.results.Automizer FA.Separately.Ultimate Repo: pthreads.xml       2022-01-18 18:05   80K  
 concurrency-insufficient-separately.2022-01-17_21-54-51.results.Automizer FA.Separately.Weaver Benchmarks.xml             2022-01-18 18:05  353K  
 concurrency-insufficient-separately.2022-01-17_21-54-51.results.Automizer FA.Separately.xml                               2022-01-18 18:05  1.8M  
 concurrency-insufficient-separately.2022-01-17_21-54-51.results.Automizer FA.SVCOMP ConcurrencySafety-Main.xml            2022-01-18 07:49  1.3M  
 concurrency-insufficient-separately.2022-01-17_21-54-51.results.Automizer FA.Ultimate Repo: Boogie.xml                    2022-01-18 07:49   94K  
 concurrency-insufficient-separately.2022-01-17_21-54-51.results.Automizer FA.Ultimate Repo: MCR.xml                       2022-01-18 07:49   39K  
 concurrency-insufficient-separately.2022-01-17_21-54-51.results.Automizer FA.Ultimate Repo: pthreads.xml                  2022-01-18 07:49   74K  
 concurrency-insufficient-separately.2022-01-17_21-54-51.results.Automizer FA.Weaver Benchmarks.xml                        2022-01-18 07:49  353K  
 concurrency-insufficient-separately.2022-01-17_21-54-51.results.Automizer FA.xml                                          2022-01-18 07:49  1.8M  
 concurrency-insufficient-separately.2022-01-17_21-54-51.results.txt                                                       2022-01-18 18:05  525K  
 overview                                                                                                                  2022-01-18 20:29   32K  
 results.2022-01-18_20-28-49.diff.csv                                                                                      2022-01-18 20:28  9.8K  
 results.2022-01-18_20-28-49.diff.html                                                                                     2022-01-18 20:28  1.1M  
 results.2022-01-18_20-28-49.table.csv                                                                                     2022-01-18 20:28  178K  
 results.2022-01-18_20-28-49.table.html                                                                                    2022-01-18 20:28  2.0M