Index of /logs/student-concurrency/20191219-091912-student-concurrency-fae578eaa4-M

 Name                                                                                                   Last modified      Size  Description
 Parent Directory                                                                                                            -   
 student-concurrency.2019-12-18_1140.logfiles/                                                          2019-12-19 05:57    -   
 overview                                                                                               2019-12-19 09:20  9.1K  
 results.2019-12-19_0919.diff.csv                                                                       2019-12-19 09:19  111K  
 results.2019-12-19_0919.diff.html                                                                      2019-12-19 09:19  1.2M  
 results.2019-12-19_0919.table.csv                                                                      2019-12-19 09:19  305K  
 results.2019-12-19_0919.table.html                                                                     2019-12-19 09:19  2.2M  
 student-concurrency.2019-12-18_1140.results.Automizer FA-NoLbe.SVCOMP ConcurrencySafety-Main.xml       2019-12-19 06:02  1.2M  
 student-concurrency.2019-12-18_1140.results.Automizer FA-SemanticLbe.SVCOMP ConcurrencySafety-Main.xml 2019-12-18 19:33  1.2M  
 student-concurrency.2019-12-18_1140.results.Automizer FA-VariableLbe.SVCOMP ConcurrencySafety-Main.xml 2019-12-18 23:31  1.2M  
 student-concurrency.2019-12-18_1140.results.Automizer SVCOMP 2020.SVCOMP ConcurrencySafety-Main.xml    2019-12-18 15:37  1.2M  
 student-concurrency.2019-12-18_1140.results.txt                                                        2019-12-19 06:02  673K