Index of /logs/student-owicki/20231206-160222-student-owicki-6bf5761f02-M

 Name                                                                                      Last modified      Size  Description
 Parent Directory                                                                                               -   
 og-proof-generation.2023-12-05_21-32-11.logfiles/                                         2023-12-05 23:55    -   
 og-proof-generation.2023-12-05_21-32-11.results.PetriOwickiGriesTestSuite.regression.csv  2023-12-06 16:02   54K  
 og-proof-generation.2023-12-05_21-32-11.results.PetriOwickiGriesTestSuite.regression.html 2023-12-06 16:02  1.4M  
 og-proof-generation.2023-12-05_21-32-11.results.PetriOwickiGriesTestSuite.regression.txt  2023-12-06 00:00  126K  
 og-proof-generation.2023-12-05_21-32-11.results.PetriOwickiGriesTestSuite.regression.xml  2023-12-06 00:00  1.5M  
 overview                                                                                  2023-12-06 16:02  162