Index of /logs/student-concurrency/20230511-104243-student-concurrency-bb95375d93

Icon  Name                                                                                                Last modified      Size  Description
[PARENTDIR] Parent Directory                                                                                                         -   
[DIR] concurrency-orders.2023-05-03_14-16-08.logfiles-dump/                                               2023-05-11 10:42    -   
[DIR] concurrency-orders.2023-05-03_14-16-08.logfiles/                                                    2023-05-04 01:27    -   
[DIR] concurrency-orders.2023-05-04_01-41-13.logfiles-dump/                                               2023-05-11 10:42    -   
[DIR] concurrency-orders.2023-05-04_01-41-13.logfiles/                                                    2023-05-04 21:56    -   
[TXT] concurrency-orders.2023-05-03_14-16-08.results.Arbitrary-AllRW.Weaver-Boogie.xml                    2023-05-03 17:34  230K  
[TXT] concurrency-orders.2023-05-03_14-16-08.results.Arbitrary-GlobalRW.Weaver-Boogie.xml                 2023-05-03 19:13  230K  
[TXT] concurrency-orders.2023-05-03_14-16-08.results.Arbitrary-Loop.Weaver-Boogie.xml                     2023-05-03 20:58  231K  
[TXT] concurrency-orders.2023-05-03_14-16-08.results.heuristic.Weaver-Boogie.xml                          2023-05-03 15:51  230K  
[TXT] concurrency-orders.2023-05-03_14-16-08.results.Lockstep-AllRW.Weaver-Boogie.xml                     2023-05-03 22:30  230K  
[TXT] concurrency-orders.2023-05-03_14-16-08.results.Lockstep-GlobalRW.Weaver-Boogie.xml                  2023-05-04 00:04  229K  
[TXT] concurrency-orders.2023-05-03_14-16-08.results.Lockstep-Loop.Weaver-Boogie.xml                      2023-05-04 01:41  230K  
[TXT] concurrency-orders.2023-05-03_14-16-08.results.txt                                                  2023-05-04 01:41  146K  
[TXT] concurrency-orders.2023-05-04_01-41-13.results.Arbitrary-AllRW.SVCOMP-ConcurrencySafety-Main.xml    2023-05-04 07:32  811K  
[TXT] concurrency-orders.2023-05-04_01-41-13.results.Arbitrary-GlobalRW.SVCOMP-ConcurrencySafety-Main.xml 2023-05-04 10:31  811K  
[TXT] concurrency-orders.2023-05-04_01-41-13.results.Arbitrary-Loop.SVCOMP-ConcurrencySafety-Main.xml     2023-05-04 13:32  811K  
[TXT] concurrency-orders.2023-05-04_01-41-13.results.heuristic.SVCOMP-ConcurrencySafety-Main.xml          2023-05-04 04:24  809K  
[TXT] concurrency-orders.2023-05-04_01-41-13.results.Lockstep-AllRW.SVCOMP-ConcurrencySafety-Main.xml     2023-05-04 16:32  811K  
[TXT] concurrency-orders.2023-05-04_01-41-13.results.Lockstep-GlobalRW.SVCOMP-ConcurrencySafety-Main.xml  2023-05-04 19:19  810K  
[TXT] concurrency-orders.2023-05-04_01-41-13.results.Lockstep-Loop.SVCOMP-ConcurrencySafety-Main.xml      2023-05-04 22:11  810K  
[TXT] concurrency-orders.2023-05-04_01-41-13.results.txt                                                  2023-05-04 22:11  1.1M  
[   ] overview                                                                                            2023-05-11 10:42  1.0M  
[TXT] results.2023-05-11_10-39-06.diff.csv                                                                2023-05-11 10:39  229K  
[TXT] results.2023-05-11_10-39-06.diff.html                                                               2023-05-11 10:39  2.3M  
[TXT] results.2023-05-11_10-39-06.table.csv                                                               2023-05-11 10:39  300K  
[TXT] results.2023-05-11_10-39-06.table.html                                                              2023-05-11 10:39  2.8M