Index of /logs/student-concurrency/20211014-091752-student-concurrency-231806ee77

Icon  Name                                                                                                                                         Last modified      Size  Description
[PARENTDIR] Parent Directory                                                                                                                                                  -   
[DIR] concurrency.2021-10-13_22-30-19.logfiles-dump/                                                                                               2021-10-14 09:17    -   
[DIR] concurrency.2021-10-13_22-30-19.logfiles/                                                                                                    2021-10-13 23:06    -   
[TXT] concurrency.2021-10-13_22-30-19.results.Automizer FA.SVCOMP ConcurrencySafety-DataRaces.xml                                                  2021-10-13 22:45  234K  
[TXT] concurrency.2021-10-13_22-30-19.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.SVCOMP ConcurrencySafety-DataRaces.xml 2021-10-13 23:16  234K  
[TXT] concurrency.2021-10-13_22-30-19.results.Automizer PN.SVCOMP ConcurrencySafety-DataRaces.xml                                                  2021-10-13 23:01  224K  
[TXT] concurrency.2021-10-13_22-30-19.results.txt                                                                                                  2021-10-13 23:16   62K  
[TXT] overview                                                                                                                                     2021-10-14 09:17  8.9K  
[TXT] results.2021-10-14_09-17-44.diff.csv                                                                                                         2021-10-14 09:17  4.9K  
[TXT] results.2021-10-14_09-17-44.diff.html                                                                                                        2021-10-14 09:17  1.1M  
[TXT] results.2021-10-14_09-17-44.table.csv                                                                                                        2021-10-14 09:17   33K  
[TXT] results.2021-10-14_09-17-44.table.html                                                                                                       2021-10-14 09:17  1.3M