Index of /logs/student-monniaux-mapelim/20190515-114337-student-monniaux-mapelim-1c58c86cec

 Name                                                                                   Last modified      Size  Description
 Parent Directory                                                                                            -   
 student-mapelim-moniaux.2019-05-15_1015.logfiles/                                      2019-05-15 10:56    -   
 overview                                                                               2019-05-15 11:43  6.0K  
 results.2019-05-15_1143.diff.csv                                                       2019-05-15 11:43  6.9K  
 results.2019-05-15_1143.diff.html                                                      2019-05-15 11:43  102K  
 results.2019-05-15_1143.table.csv                                                      2019-05-15 11:43   13K  
 results.2019-05-15_1143.table.html                                                     2019-05-15 11:43  135K  
 student-mapelim-moniaux.2019-05-15_1015.results.Automizer+MapElim+LBE.Array-Boogie.xml 2019-05-15 11:09   82K  
 student-mapelim-moniaux.2019-05-15_1015.results.Automizer+MapElim.Array-Boogie.xml     2019-05-15 10:55   79K  
 student-mapelim-moniaux.2019-05-15_1015.results.Automizer.Array-Boogie.xml             2019-05-15 10:42   87K  
 student-mapelim-moniaux.2019-05-15_1015.results.txt                                    2019-05-15 11:09   30K