Index of /logs/student-concurrency/20201109-225118-student-concurrency-7a177ad639

 Name                                                                                                    Last modified      Size  Description
 Parent Directory                                                                                                             -   
 student-concurrency.2020-11-09_12-01-31.logfiles-dump/                                                  2020-11-09 22:52    -   
 student-concurrency.2020-11-09_12-01-31.logfiles/                                                       2020-11-09 17:41    -   
 overview                                                                                                2020-11-09 22:52   27K  
 results.2020-11-09_22-51-07.diff.csv                                                                    2020-11-09 22:51  7.8K  
 results.2020-11-09_22-51-07.diff.html                                                                   2020-11-09 22:51  1.1M  
 results.2020-11-09_22-51-07.table.csv                                                                   2020-11-09 22:51  321K  
 results.2020-11-09_22-51-07.table.html                                                                  2020-11-09 22:51  2.6M  
 student-concurrency.2020-11-09_12-01-31.results.Automizer FA-MCR-SP.SVCOMP ConcurrencySafety-Main.xml   2020-11-09 17:45  1.4M  
 student-concurrency.2020-11-09_12-01-31.results.Automizer FA-MCR-SP.Ultimate Repo.xml                   2020-11-09 17:45   23K  
 student-concurrency.2020-11-09_12-01-31.results.Automizer FA-MCR-SP.xml                                 2020-11-09 17:44  1.4M  
 student-concurrency.2020-11-09_12-01-31.results.Automizer FA-MCR-WP.SVCOMP ConcurrencySafety-Main.xml   2020-11-09 16:16  1.4M  
 student-concurrency.2020-11-09_12-01-31.results.Automizer FA-MCR-WP.Ultimate Repo.xml                   2020-11-09 16:16   23K  
 student-concurrency.2020-11-09_12-01-31.results.Automizer FA-MCR-WP.xml                                 2020-11-09 16:16  1.4M  
 student-concurrency.2020-11-09_12-01-31.results.Automizer FA.SVCOMP ConcurrencySafety-Main.xml          2020-11-09 14:47  1.4M  
 student-concurrency.2020-11-09_12-01-31.results.Automizer FA.Ultimate Repo.xml                          2020-11-09 14:47   23K  
 student-concurrency.2020-11-09_12-01-31.results.Automizer FA.xml                                        2020-11-09 14:47  1.4M  
 student-concurrency.2020-11-09_12-01-31.results.Automizer SVCOMP 2020.SVCOMP ConcurrencySafety-Main.xml 2020-11-09 13:25  1.4M  
 student-concurrency.2020-11-09_12-01-31.results.Automizer SVCOMP 2020.Ultimate Repo.xml                 2020-11-09 13:25   22K  
 student-concurrency.2020-11-09_12-01-31.results.Automizer SVCOMP 2020.xml                               2020-11-09 13:25  1.4M  
 student-concurrency.2020-11-09_12-01-31.results.txt                                                     2020-11-09 17:45  756K