Index of /logs/student-owicki/20250401-160652-student-owicki-b186fb265e-M

 Name                                                                                                            Last modified      Size  Description
 Parent Directory                                                                                                                     -   
 og-proof-generation.2025-03-30_15-35-56.logfiles/                                                               2025-03-31 01:30    -   
 og-proof-generation.2025-03-30_15-35-56.results.EmpireAutomatonOG-NoAssert.SVBenchmarks-ConcurrencySafety.xml   2025-03-30 17:20  406K  
 og-proof-generation.2025-03-30_15-35-56.results.EmpireAutomatonOG-NoAssert.SVBenchmarks-MemSafety.xml           2025-03-30 17:20  6.1K  
 og-proof-generation.2025-03-30_15-35-56.results.EmpireAutomatonOG-NoAssert.SVBenchmarks-NoDataRace.xml          2025-03-30 17:20  1.6M  
 og-proof-generation.2025-03-30_15-35-56.results.EmpireAutomatonOG-NoAssert.SVBenchmarks-NoOverflow.xml          2025-03-30 17:20  1.2M  
 og-proof-generation.2025-03-30_15-35-56.results.EmpireAutomatonOG-NoAssert.xml                                  2025-03-30 17:20  3.2M  
 og-proof-generation.2025-03-30_15-35-56.results.EmpireAutomatonOG-WithAssert.SVBenchmarks-ConcurrencySafety.xml 2025-03-30 16:48  411K  
 og-proof-generation.2025-03-30_15-35-56.results.EmpireAutomatonOG-WithAssert.SVBenchmarks-MemSafety.xml         2025-03-30 16:48  6.1K  
 og-proof-generation.2025-03-30_15-35-56.results.EmpireAutomatonOG-WithAssert.SVBenchmarks-NoDataRace.xml        2025-03-30 16:48  1.6M  
 og-proof-generation.2025-03-30_15-35-56.results.EmpireAutomatonOG-WithAssert.SVBenchmarks-NoOverflow.xml        2025-03-30 16:48  1.2M  
 og-proof-generation.2025-03-30_15-35-56.results.EmpireAutomatonOG-WithAssert.xml                                2025-03-30 16:48  3.2M  
 og-proof-generation.2025-03-30_15-35-56.results.GraphEmpireOG-NoAssert.SVBenchmarks-ConcurrencySafety.xml       2025-03-30 19:24  406K  
 og-proof-generation.2025-03-30_15-35-56.results.GraphEmpireOG-NoAssert.SVBenchmarks-MemSafety.xml               2025-03-30 19:24  6.1K  
 og-proof-generation.2025-03-30_15-35-56.results.GraphEmpireOG-NoAssert.SVBenchmarks-NoDataRace.xml              2025-03-30 19:24  1.6M  
 og-proof-generation.2025-03-30_15-35-56.results.GraphEmpireOG-NoAssert.SVBenchmarks-NoOverflow.xml              2025-03-30 19:24  1.2M  
 og-proof-generation.2025-03-30_15-35-56.results.GraphEmpireOG-NoAssert.xml                                      2025-03-30 19:24  3.2M  
 og-proof-generation.2025-03-30_15-35-56.results.GraphEmpireOG-WithAssert.SVBenchmarks-ConcurrencySafety.xml     2025-03-30 18:52  411K  
 og-proof-generation.2025-03-30_15-35-56.results.GraphEmpireOG-WithAssert.SVBenchmarks-MemSafety.xml             2025-03-30 18:52  6.1K  
 og-proof-generation.2025-03-30_15-35-56.results.GraphEmpireOG-WithAssert.SVBenchmarks-NoDataRace.xml            2025-03-30 18:52  1.6M  
 og-proof-generation.2025-03-30_15-35-56.results.GraphEmpireOG-WithAssert.SVBenchmarks-NoOverflow.xml            2025-03-30 18:52  1.2M  
 og-proof-generation.2025-03-30_15-35-56.results.GraphEmpireOG-WithAssert.xml                                    2025-03-30 18:52  3.2M  
 og-proof-generation.2025-03-30_15-35-56.results.NaiveOG-NoAssert.SVBenchmarks-ConcurrencySafety.xml             2025-03-31 01:32  406K  
 og-proof-generation.2025-03-30_15-35-56.results.NaiveOG-NoAssert.SVBenchmarks-MemSafety.xml                     2025-03-31 01:32  6.1K  
 og-proof-generation.2025-03-30_15-35-56.results.NaiveOG-NoAssert.SVBenchmarks-NoDataRace.xml                    2025-03-31 01:32  1.6M  
 og-proof-generation.2025-03-30_15-35-56.results.NaiveOG-NoAssert.SVBenchmarks-NoOverflow.xml                    2025-03-31 01:32  1.2M  
 og-proof-generation.2025-03-30_15-35-56.results.NaiveOG-NoAssert.xml                                            2025-03-31 01:32  3.2M  
 og-proof-generation.2025-03-30_15-35-56.results.NaiveOG-WithAssert.SVBenchmarks-ConcurrencySafety.xml           2025-03-30 23:56  411K  
 og-proof-generation.2025-03-30_15-35-56.results.NaiveOG-WithAssert.SVBenchmarks-MemSafety.xml                   2025-03-30 23:56  6.1K  
 og-proof-generation.2025-03-30_15-35-56.results.NaiveOG-WithAssert.SVBenchmarks-NoDataRace.xml                  2025-03-30 23:56  1.7M  
 og-proof-generation.2025-03-30_15-35-56.results.NaiveOG-WithAssert.SVBenchmarks-NoOverflow.xml                  2025-03-30 23:56  1.2M  
 og-proof-generation.2025-03-30_15-35-56.results.NaiveOG-WithAssert.xml                                          2025-03-30 23:56  3.3M  
 og-proof-generation.2025-03-30_15-35-56.results.txt                                                             2025-03-31 01:32  1.5M  
 overview                                                                                                        2025-04-01 16:07  251   
 tabledef.diff.csv                                                                                               2025-04-01 15:56  514K  
 tabledef.diff.html                                                                                              2025-04-01 15:56  3.9M  
 tabledef.table.csv                                                                                              2025-04-01 15:56  618K  
 tabledef.table.html                                                                                             2025-04-01 15:56  4.5M  
 tabledef.xml                                                                                                    2025-04-01 15:52   16K