Index of /logs/student-concurrency/20200918-111106-student-concurrency-bf4350cd73

 Name                                                                                                    Last modified      Size  Description
 Parent Directory                                                                                                             -   
 student-concurrency.2020-09-16_13-53-32.logfiles-dump/                                                  2020-09-18 11:15    -   
 student-concurrency.2020-09-16_13-53-32.logfiles/                                                       2020-09-18 03:04    -   
 overview                                                                                                2020-09-18 11:15   28K  
 results.2020-09-18_11-10-50.diff.csv                                                                    2020-09-18 11:10   11K  
 results.2020-09-18_11-10-50.diff.html                                                                   2020-09-18 11:10  1.1M  
 results.2020-09-18_11-10-50.table.csv                                                                   2020-09-18 11:10  220K  
 results.2020-09-18_11-10-50.table.html                                                                  2020-09-18 11:10  2.2M  
 student-concurrency.2020-09-16_13-53-32.results.Automizer FA-MCR-WP.SVCOMP ConcurrencySafety-Main.xml   2020-09-18 03:17  1.6M  
 student-concurrency.2020-09-16_13-53-32.results.Automizer FA-MCR-WP.Ultimate Repo.xml                   2020-09-18 03:17   24K  
 student-concurrency.2020-09-16_13-53-32.results.Automizer FA-MCR-WP.xml                                 2020-09-18 03:17  1.6M  
 student-concurrency.2020-09-16_13-53-32.results.Automizer FA.SVCOMP ConcurrencySafety-Main.xml          2020-09-17 14:49  1.6M  
 student-concurrency.2020-09-16_13-53-32.results.Automizer FA.Ultimate Repo.xml                          2020-09-17 14:49   23K  
 student-concurrency.2020-09-16_13-53-32.results.Automizer FA.xml                                        2020-09-17 14:49  1.6M  
 student-concurrency.2020-09-16_13-53-32.results.Automizer SVCOMP 2020.SVCOMP ConcurrencySafety-Main.xml 2020-09-17 02:21  1.6M  
 student-concurrency.2020-09-16_13-53-32.results.Automizer SVCOMP 2020.Ultimate Repo.xml                 2020-09-17 02:21   23K  
 student-concurrency.2020-09-16_13-53-32.results.Automizer SVCOMP 2020.xml                               2020-09-17 02:21  1.6M  
 student-concurrency.2020-09-16_13-53-32.results.txt                                                     2020-09-18 03:17  542K