Index of /logs/student-concurrency/20230522-112920-student-concurrency-32214ab935

 Name                                                                                                Last modified      Size  Description
 Parent Directory                                                                                                         -   
 concurrency-orders.2023-05-19_10-00-40.logfiles/                                                    2023-05-19 21:23    -   
 concurrency-orders.2023-05-19_21-34-56.logfiles/                                                    2023-05-20 18:13    -   
 concurrency-orders.2023-05-19_10-00-40.logfiles-dump/                                               2023-05-22 11:29    -   
 concurrency-orders.2023-05-19_21-34-56.logfiles-dump/                                               2023-05-22 11:29    -   
 concurrency-orders.2023-05-19_10-00-40.results.heuristic.Weaver-Boogie.xml                          2023-05-19 11:38  229K  
 concurrency-orders.2023-05-19_10-00-40.results.Arbitrary-AllRW.Weaver-Boogie.xml                    2023-05-19 13:24  230K  
 concurrency-orders.2023-05-19_10-00-40.results.Arbitrary-GlobalRW.Weaver-Boogie.xml                 2023-05-19 15:04  230K  
 concurrency-orders.2023-05-19_10-00-40.results.Arbitrary-Loop.Weaver-Boogie.xml                     2023-05-19 16:50  230K  
 concurrency-orders.2023-05-19_10-00-40.results.Lockstep-AllRW.Weaver-Boogie.xml                     2023-05-19 18:26  230K  
 concurrency-orders.2023-05-19_10-00-40.results.Lockstep-GlobalRW.Weaver-Boogie.xml                  2023-05-19 20:00  229K  
 concurrency-orders.2023-05-19_10-00-40.results.Lockstep-Loop.Weaver-Boogie.xml                      2023-05-19 21:34  229K  
 concurrency-orders.2023-05-19_10-00-40.results.txt                                                  2023-05-19 21:34  146K  
 concurrency-orders.2023-05-19_21-34-56.results.heuristic.SVCOMP-ConcurrencySafety-Main.xml          2023-05-20 00:25  811K  
 concurrency-orders.2023-05-19_21-34-56.results.Arbitrary-AllRW.SVCOMP-ConcurrencySafety-Main.xml    2023-05-20 03:36  812K  
 concurrency-orders.2023-05-19_21-34-56.results.Arbitrary-GlobalRW.SVCOMP-ConcurrencySafety-Main.xml 2023-05-20 06:36  811K  
 concurrency-orders.2023-05-19_21-34-56.results.Arbitrary-Loop.SVCOMP-ConcurrencySafety-Main.xml     2023-05-20 09:37  811K  
 concurrency-orders.2023-05-19_21-34-56.results.Lockstep-AllRW.SVCOMP-ConcurrencySafety-Main.xml     2023-05-20 12:42  811K  
 concurrency-orders.2023-05-19_21-34-56.results.Lockstep-GlobalRW.SVCOMP-ConcurrencySafety-Main.xml  2023-05-20 15:30  811K  
 concurrency-orders.2023-05-19_21-34-56.results.Lockstep-Loop.SVCOMP-ConcurrencySafety-Main.xml      2023-05-20 18:27  811K  
 concurrency-orders.2023-05-19_21-34-56.results.txt                                                  2023-05-20 18:27  1.1M  
 marcel.xml                                                                                          2023-05-22 11:25  1.3K  
 marcel.diff.csv                                                                                     2023-05-22 11:25   82K  
 marcel.diff.html                                                                                    2023-05-22 11:25  1.6M  
 marcel.table.csv                                                                                    2023-05-22 11:25  325K  
 marcel.table.html                                                                                   2023-05-22 11:25  3.1M  
 overview                                                                                            2023-05-22 11:29   95K