Index of /logs/student-muses/20200818-141906-student-muses-5644d1e436

 Name                                                                                      Last modified      Size  Description
 Parent Directory                                                                                               -   
 student-muses-lt30-partial-svcomp.2020-08-18_10-16-34.logfiles-dump/                      2020-08-18 14:19    -   
 student-muses-lt30-partial-svcomp.2020-08-18_10-16-34.logfiles/                           2020-08-18 13:29    -   
 overview                                                                                  2020-08-18 14:19   88K  
 results.2020-08-18_14-18-47.diff.csv                                                      2020-08-18 14:18  4.3K  
 results.2020-08-18_14-18-47.diff.html                                                     2020-08-18 14:18  884K  
 results.2020-08-18_14-18-47.table.csv                                                     2020-08-18 14:18  789K  
 results.2020-08-18_14-18-47.table.html                                                    2020-08-18 14:18  5.1M  
 student-muses-lt30-partial-svcomp.2020-08-18_10-16-34.results.MUSes BIGGEST.lt300_32.xml  2020-08-18 13:29  1.8M  
 student-muses-lt30-partial-svcomp.2020-08-18_10-16-34.results.MUSes BIGGEST.lt300_64.xml  2020-08-18 13:29  2.0M  
 student-muses-lt30-partial-svcomp.2020-08-18_10-16-34.results.MUSes BIGGEST.xml           2020-08-18 13:29  3.9M  
 student-muses-lt30-partial-svcomp.2020-08-18_10-16-34.results.MUSes Default.lt300_32.xml  2020-08-18 11:53  1.8M  
 student-muses-lt30-partial-svcomp.2020-08-18_10-16-34.results.MUSes Default.lt300_64.xml  2020-08-18 11:53  2.1M  
 student-muses-lt30-partial-svcomp.2020-08-18_10-16-34.results.MUSes Default.xml           2020-08-18 11:53  3.9M  
 student-muses-lt30-partial-svcomp.2020-08-18_10-16-34.results.MUSes SMALLEST.lt300_32.xml 2020-08-18 12:41  1.8M  
 student-muses-lt30-partial-svcomp.2020-08-18_10-16-34.results.MUSes SMALLEST.lt300_64.xml 2020-08-18 12:41  2.0M  
 student-muses-lt30-partial-svcomp.2020-08-18_10-16-34.results.MUSes SMALLEST.xml          2020-08-18 12:41  3.9M  
 student-muses-lt30-partial-svcomp.2020-08-18_10-16-34.results.txt                         2020-08-18 13:29  2.4M  
 student-muses-lt30-partial-svcomp.2020-08-18_10-16-34.results.Vanilla.lt300_32.xml        2020-08-18 11:05  1.8M  
 student-muses-lt30-partial-svcomp.2020-08-18_10-16-34.results.Vanilla.lt300_64.xml        2020-08-18 11:05  2.1M  
 student-muses-lt30-partial-svcomp.2020-08-18_10-16-34.results.Vanilla.xml                 2020-08-18 11:05  3.9M