Index of /logs/student-accelerated-interpolation/20201024-083918-student-accelerator-b8ad66e3f6

 Name                                                                                                         Last modified      Size  Description
 Parent Directory                                                                                                                  -   
 student-accelerator-lt30-svcomp.2020-10-23_17-30-44.logfiles-dump/                                           2020-10-24 08:41    -   
 student-accelerator-lt30-svcomp.2020-10-23_17-30-44.logfiles/                                                2020-10-24 04:05    -   
 overview                                                                                                     2020-10-24 08:41   97K  
 results.2020-10-24_08-38-59.diff.csv                                                                         2020-10-24 08:39   88K  
 results.2020-10-24_08-38-59.diff.html                                                                        2020-10-24 08:39  1.5M  
 results.2020-10-24_08-38-59.table.csv                                                                        2020-10-24 08:39  652K  
 results.2020-10-24_08-38-59.table.html                                                                       2020-10-24 08:39  4.6M  
 student-accelerator-lt30-svcomp.2020-10-23_17-30-44.results.Automizer AcceleratedFastUPR.lt300_32.xml        2020-10-23 23:40  1.7M  
 student-accelerator-lt30-svcomp.2020-10-23_17-30-44.results.Automizer AcceleratedFastUPR.lt300_64.xml        2020-10-23 23:40  1.9M  
 student-accelerator-lt30-svcomp.2020-10-23_17-30-44.results.Automizer AcceleratedFastUPR.xml                 2020-10-23 23:40  3.6M  
 student-accelerator-lt30-svcomp.2020-10-23_17-30-44.results.Automizer Craig_NestedInterpolation.lt300_32.xml 2020-10-24 04:16  1.7M  
 student-accelerator-lt30-svcomp.2020-10-23_17-30-44.results.Automizer Craig_NestedInterpolation.lt300_64.xml 2020-10-24 04:16  1.9M  
 student-accelerator-lt30-svcomp.2020-10-23_17-30-44.results.Automizer Craig_NestedInterpolation.xml          2020-10-24 04:16  3.6M  
 student-accelerator-lt30-svcomp.2020-10-23_17-30-44.results.Automizer DEFAULT.lt300_32.xml                   2020-10-23 19:44  1.7M  
 student-accelerator-lt30-svcomp.2020-10-23_17-30-44.results.Automizer DEFAULT.lt300_64.xml                   2020-10-23 19:44  1.9M  
 student-accelerator-lt30-svcomp.2020-10-23_17-30-44.results.Automizer DEFAULT.xml                            2020-10-23 19:44  3.6M  
 student-accelerator-lt30-svcomp.2020-10-23_17-30-44.results.txt                                              2020-10-24 04:16  1.8M