Index of /logs/student-owicki/20240125-205812-student-owicki-dd252180c0-M

 Name                                                                                                                  Last modified      Size  Description
 Parent Directory                                                                                                                           -   
 og-proof-generation.2024-01-24_18-37-44.logfiles/                                                                     2024-01-25 11:39    -   
 og-proof-generation.2024-01-25_13-52-17.logfiles/                                                                     2024-01-25 17:10    -   
 overview                                                                                                              2024-01-25 20:58  251   
 tabledef.xml                                                                                                          2024-01-25 11:39   16K  
 tabledef.diff.csv                                                                                                     2024-01-25 20:56  113K  
 tabledef.table.csv                                                                                                    2024-01-25 20:56  271K  
 og-proof-generation.2024-01-24_18-37-44.results.txt                                                                   2024-01-24 21:57  317K  
 og-proof-generation.2024-01-25_13-52-17.results.txt                                                                   2024-01-25 17:14  317K  
 og-proof-generation.2024-01-24_18-37-44.results.PetriOwickiGriesTestSuite-NoAssert.regression-ConcurrencySafety.xml   2024-01-24 21:57  399K  
 og-proof-generation.2024-01-25_13-52-17.results.NaiveOwickiGriesTestSuite-NoAssert.regression-ConcurrencySafety.xml   2024-01-25 17:14  400K  
 og-proof-generation.2024-01-25_13-52-17.results.NaiveOwickiGriesTestSuite-WithAssert.regression-ConcurrencySafety.xml 2024-01-25 15:37  400K  
 og-proof-generation.2024-01-24_18-37-44.results.PetriOwickiGriesTestSuite-WithAssert.regression-ConcurrencySafety.xml 2024-01-24 20:27  403K  
 og-proof-generation.2024-01-25_13-52-17.results.NaiveOwickiGriesTestSuite-NoAssert.regression-MemSafety.xml           2024-01-25 17:14  1.4M  
 og-proof-generation.2024-01-25_13-52-17.results.NaiveOwickiGriesTestSuite-WithAssert.regression-MemSafety.xml         2024-01-25 15:37  1.4M  
 og-proof-generation.2024-01-24_18-37-44.results.PetriOwickiGriesTestSuite-WithAssert.regression-MemSafety.xml         2024-01-24 20:27  1.5M  
 og-proof-generation.2024-01-24_18-37-44.results.PetriOwickiGriesTestSuite-NoAssert.regression-MemSafety.xml           2024-01-24 21:57  1.5M  
 tabledef.diff.html                                                                                                    2024-01-25 20:56  1.7M  
 og-proof-generation.2024-01-25_13-52-17.results.NaiveOwickiGriesTestSuite-NoAssert.xml                                2024-01-25 17:14  1.8M  
 og-proof-generation.2024-01-25_13-52-17.results.NaiveOwickiGriesTestSuite-WithAssert.xml                              2024-01-25 15:37  1.8M  
 og-proof-generation.2024-01-24_18-37-44.results.PetriOwickiGriesTestSuite-NoAssert.xml                                2024-01-24 21:57  1.8M  
 og-proof-generation.2024-01-24_18-37-44.results.PetriOwickiGriesTestSuite-WithAssert.xml                              2024-01-24 20:27  1.8M  
 tabledef.table.html                                                                                                   2024-01-25 20:56  2.6M