Index of /logs/student-concurrency/20211115-091442-student-concurrency-ba0fd47f62-M

 Name                                                                                                                                                      Last modified      Size  Description
 Parent Directory                                                                                                                                                               -   
 concurrency.2021-11-13_17-10-58.logfiles/                                                                                                                 2021-11-14 13:04    -   
 concurrency.2021-11-13_17-10-58.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderLockstep.SVCOMP ConcurrencySafety-Main.xml     2021-11-14 06:48  1.2M  
 concurrency.2021-11-13_17-10-58.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderLockstep.SVCOMP NoDataRace.xml                 2021-11-14 06:48  266K  
 concurrency.2021-11-13_17-10-58.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderLockstep.xml                                   2021-11-14 06:48  1.4M  
 concurrency.2021-11-13_17-10-58.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderLoopLockstep.SVCOMP ConcurrencySafety-Main.xml 2021-11-14 13:12  1.1M  
 concurrency.2021-11-13_17-10-58.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderLoopLockstep.SVCOMP NoDataRace.xml             2021-11-14 13:12  260K  
 concurrency.2021-11-13_17-10-58.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderLoopLockstep.xml                               2021-11-14 13:12  1.4M  
 concurrency.2021-11-13_17-10-58.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.SVCOMP ConcurrencySafety-Main.xml                   2021-11-13 23:56  1.1M  
 concurrency.2021-11-13_17-10-58.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.SVCOMP NoDataRace.xml                               2021-11-13 23:56  265K  
 concurrency.2021-11-13_17-10-58.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.xml                                                 2021-11-13 23:56  1.4M  
 concurrency.2021-11-13_17-10-58.results.txt                                                                                                               2021-11-14 13:12  661K  
 overview                                                                                                                                                  2021-11-15 09:14   13K  
 results.2021-11-15_09-14-15.diff.csv                                                                                                                      2021-11-15 09:14   31K  
 results.2021-11-15_09-14-15.diff.html                                                                                                                     2021-11-15 09:14  1.3M  
 results.2021-11-15_09-14-15.table.csv                                                                                                                     2021-11-15 09:14  206K  
 results.2021-11-15_09-14-15.table.html                                                                                                                    2021-11-15 09:14  2.2M