Index of /logs/student-owicki/20231205-203044-student-owicki-4226473543-M

 Name                                                                                      Last modified      Size  Description
 Parent Directory                                                                                               -   
 og-proof-generation.2023-12-01_20-23-56.logfiles/                                         2023-12-02 13:48    -   
 og-proof-generation.2023-12-01_20-23-56.results.PetriOwickiGriesTestSuite.regression.csv  2023-12-05 20:30   54K  
 og-proof-generation.2023-12-01_20-23-56.results.PetriOwickiGriesTestSuite.regression.html 2023-12-05 20:30  1.4M  
 og-proof-generation.2023-12-01_20-23-56.results.PetriOwickiGriesTestSuite.regression.txt  2023-12-01 22:27  126K  
 og-proof-generation.2023-12-01_20-23-56.results.PetriOwickiGriesTestSuite.regression.xml  2023-12-01 22:27  1.4M  
 overview                                                                                  2023-12-05 20:30  162