Index of /logs/student-owicki/20240111-111116-student-owicki-0c966bdab5-M

 Name                                                                                                                  Last modified      Size  Description
 Parent Directory                                                                                                                           -   
 og-proof-generation.2024-01-10_16-40-22.logfiles/                                                                     2024-01-10 23:19    -   
 tabledef.xml                                                                                                          2024-01-11 10:58   16K  
 tabledef.table.html                                                                                                   2024-01-11 11:04  2.6M  
 tabledef.table.csv                                                                                                    2024-01-11 11:04  271K  
 tabledef.diff.html                                                                                                    2024-01-11 11:04  1.8M  
 tabledef.diff.csv                                                                                                     2024-01-11 11:04  123K  
 overview                                                                                                              2024-01-11 11:11  251   
 og-proof-generation.2024-01-10_16-40-22.results.txt                                                                   2024-01-10 23:23  632K  
 og-proof-generation.2024-01-10_16-40-22.results.PetriOwickiGriesTestSuite-WithAssert.xml                              2024-01-10 18:29  1.8M  
 og-proof-generation.2024-01-10_16-40-22.results.PetriOwickiGriesTestSuite-WithAssert.regression-MemSafety.xml         2024-01-10 18:29  1.5M  
 og-proof-generation.2024-01-10_16-40-22.results.PetriOwickiGriesTestSuite-WithAssert.regression-ConcurrencySafety.xml 2024-01-10 18:29  403K  
 og-proof-generation.2024-01-10_16-40-22.results.PetriOwickiGriesTestSuite-NoAssert.xml                                2024-01-10 21:46  1.8M  
 og-proof-generation.2024-01-10_16-40-22.results.PetriOwickiGriesTestSuite-NoAssert.regression-MemSafety.xml           2024-01-10 21:46  1.5M  
 og-proof-generation.2024-01-10_16-40-22.results.PetriOwickiGriesTestSuite-NoAssert.regression-ConcurrencySafety.xml   2024-01-10 21:46  399K  
 og-proof-generation.2024-01-10_16-40-22.results.NaiveOwickiGriesTestSuite-WithAssert.xml                              2024-01-10 20:16  1.8M  
 og-proof-generation.2024-01-10_16-40-22.results.NaiveOwickiGriesTestSuite-WithAssert.regression-MemSafety.xml         2024-01-10 20:16  1.4M  
 og-proof-generation.2024-01-10_16-40-22.results.NaiveOwickiGriesTestSuite-WithAssert.regression-ConcurrencySafety.xml 2024-01-10 20:16  400K  
 og-proof-generation.2024-01-10_16-40-22.results.NaiveOwickiGriesTestSuite-NoAssert.xml                                2024-01-10 23:23  1.8M  
 og-proof-generation.2024-01-10_16-40-22.results.NaiveOwickiGriesTestSuite-NoAssert.regression-MemSafety.xml           2024-01-10 23:23  1.4M  
 og-proof-generation.2024-01-10_16-40-22.results.NaiveOwickiGriesTestSuite-NoAssert.regression-ConcurrencySafety.xml   2024-01-10 23:23  400K