Index of /logs/student-concurrency/20201006-091329-student-concurrency-c7e336bce3

 Name                                                                                                    Last modified      Size  Description
 Parent Directory                                                                                                             -   
 student-concurrency.2020-10-05_22-16-57.logfiles/                                                       2020-10-06 01:24    -   
 student-concurrency.2020-10-05_22-16-57.logfiles-dump/                                                  2020-10-06 09:14    -   
 student-concurrency.2020-10-05_22-16-57.results.Automizer SVCOMP 2020.xml                               2020-10-05 23:07  1.4M  
 student-concurrency.2020-10-05_22-16-57.results.Automizer SVCOMP 2020.SVCOMP ConcurrencySafety-Main.xml 2020-10-05 23:07  1.4M  
 student-concurrency.2020-10-05_22-16-57.results.Automizer SVCOMP 2020.Ultimate Repo.xml                 2020-10-05 23:07   22K  
 student-concurrency.2020-10-05_22-16-57.results.Automizer FA.xml                                        2020-10-05 23:56  1.4M  
 student-concurrency.2020-10-05_22-16-57.results.Automizer FA.SVCOMP ConcurrencySafety-Main.xml          2020-10-05 23:56  1.4M  
 student-concurrency.2020-10-05_22-16-57.results.Automizer FA.Ultimate Repo.xml                          2020-10-05 23:56   24K  
 student-concurrency.2020-10-05_22-16-57.results.Automizer FA-MCR-WP.xml                                 2020-10-06 01:28  1.4M  
 student-concurrency.2020-10-05_22-16-57.results.Automizer FA-MCR-WP.SVCOMP ConcurrencySafety-Main.xml   2020-10-06 01:28  1.4M  
 student-concurrency.2020-10-05_22-16-57.results.Automizer FA-MCR-WP.Ultimate Repo.xml                   2020-10-06 01:28   24K  
 student-concurrency.2020-10-05_22-16-57.results.txt                                                     2020-10-06 01:28  542K  
 results.2020-10-06_09-13-11.table.csv                                                                   2020-10-06 09:13  243K  
 results.2020-10-06_09-13-11.diff.csv                                                                    2020-10-06 09:13   59K  
 results.2020-10-06_09-13-11.diff.html                                                                   2020-10-06 09:13  1.3M  
 results.2020-10-06_09-13-11.table.html                                                                  2020-10-06 09:13  2.2M  
 overview                                                                                                2020-10-06 09:14   25K