Index of /logs/student-owicki/20231201-200916-student-owicki-6b1e25d8bb-M

 Name                                                                                      Last modified      Size  Description
 Parent Directory                                                                                               -   
 og-proof-generation.2023-12-01_16-32-07.logfiles/                                         2023-12-01 18:30    -   
 og-proof-generation.2023-12-01_16-32-07.results.PetriOwickiGriesTestSuite.regression.csv  2023-12-01 20:05   54K  
 og-proof-generation.2023-12-01_16-32-07.results.PetriOwickiGriesTestSuite.regression.html 2023-12-01 20:05  1.4M  
 og-proof-generation.2023-12-01_16-32-07.results.PetriOwickiGriesTestSuite.regression.txt  2023-12-01 18:35  126K  
 og-proof-generation.2023-12-01_16-32-07.results.PetriOwickiGriesTestSuite.regression.xml  2023-12-01 18:35  1.4M  
 overview                                                                                  2023-12-01 20:09  162