Index of /logs/student-owicki/20240121-120352-student-owicki-ac931eda9b-M

 Name                                                                                                           Last modified      Size  Description
 Parent Directory                                                                                                                    -   
 og-proof-generation.2024-01-16_10-13-22.logfiles/                                                              2024-01-16 17:23    -   
 og-proof-generation.2024-01-16_10-13-22.results.NaiveOwickiGriesTestSuite-NoAssert.regression-NoDataRace.xml   2024-01-16 17:28  1.5M  
 og-proof-generation.2024-01-16_10-13-22.results.NaiveOwickiGriesTestSuite-WithAssert.regression-NoDataRace.xml 2024-01-16 14:25  1.5M  
 og-proof-generation.2024-01-16_10-13-22.results.PetriOwickiGriesTestSuite-NoAssert.regression-NoDataRace.xml   2024-01-16 15:47  1.5M  
 og-proof-generation.2024-01-16_10-13-22.results.PetriOwickiGriesTestSuite-WithAssert.regression-NoDataRace.xml 2024-01-16 11:53  1.5M  
 og-proof-generation.2024-01-16_10-13-22.results.txt                                                            2024-01-16 17:28  522K  
 overview                                                                                                       2024-01-21 12:04  251   
 tabledef.diff.csv                                                                                              2024-01-16 23:48   20K  
 tabledef.diff.html                                                                                             2024-01-16 23:48  1.2M  
 tabledef.table.csv                                                                                             2024-01-16 23:48  225K  
 tabledef.table.html                                                                                            2024-01-16 23:48  2.3M  
 tabledef.xml                                                                                                   2024-01-16 22:57   16K