Index of /logs/student-owicki/20231206-193337-student-owicki-aa76a3a51d-M

 Name                                                                                     Last modified      Size  Description
 Parent Directory                                                                                              -   
 og-proof-generation.2023-12-06_16-23-33.logfiles/                                        2023-12-06 19:24    -   
 benchmarks.tar.xz                                                                        2023-12-06 19:32  4.0M  
 og-proof-generation.2023-12-06_16-23-33.results.PetriOwickiGriesTestSuite.regression.txt 2023-12-06 18:50  126K  
 og-proof-generation.2023-12-06_16-23-33.results.PetriOwickiGriesTestSuite.regression.xml 2023-12-06 18:50  1.5M  
 overview                                                                                 2023-12-06 19:33  250   
 tabledef.table.csv                                                                       2023-12-06 19:28   61K  
 tabledef.table.html                                                                      2023-12-06 19:28  1.4M  
 tabledef.xml                                                                             2023-12-06 19:24  2.5K