Index of /logs/student-accelerated-interpolation/20201108-085350-student-accelerator-7d8eed30de

 Name                                                                                                         Last modified      Size  Description
 Parent Directory                                                                                                                  -   
 student-accelerator-lt30-svcomp.2020-11-06_21-32-41.logfiles/                                                2020-11-07 08:15    -   
 student-accelerator-lt30-svcomp.2020-11-06_21-32-41.logfiles-dump/                                           2020-11-08 08:56    -   
 student-accelerator-lt30-svcomp.2020-11-06_21-32-41.results.Automizer DEFAULT.xml                            2020-11-06 23:42  3.5M  
 student-accelerator-lt30-svcomp.2020-11-06_21-32-41.results.Automizer DEFAULT.lt300_32.xml                   2020-11-06 23:42  1.7M  
 student-accelerator-lt30-svcomp.2020-11-06_21-32-41.results.Automizer DEFAULT.lt300_64.xml                   2020-11-06 23:42  1.9M  
 student-accelerator-lt30-svcomp.2020-11-06_21-32-41.results.Automizer AcceleratedFastUPR.xml                 2020-11-07 03:52  3.6M  
 student-accelerator-lt30-svcomp.2020-11-06_21-32-41.results.Automizer AcceleratedFastUPR.lt300_32.xml        2020-11-07 03:52  1.7M  
 student-accelerator-lt30-svcomp.2020-11-06_21-32-41.results.Automizer AcceleratedFastUPR.lt300_64.xml        2020-11-07 03:52  1.9M  
 student-accelerator-lt30-svcomp.2020-11-06_21-32-41.results.Automizer Craig_NestedInterpolation.xml          2020-11-07 08:25  3.6M  
 student-accelerator-lt30-svcomp.2020-11-06_21-32-41.results.Automizer Craig_NestedInterpolation.lt300_32.xml 2020-11-07 08:25  1.7M  
 student-accelerator-lt30-svcomp.2020-11-06_21-32-41.results.Automizer Craig_NestedInterpolation.lt300_64.xml 2020-11-07 08:25  1.9M  
 student-accelerator-lt30-svcomp.2020-11-06_21-32-41.results.txt                                              2020-11-07 08:25  1.8M  
 results.2020-11-08_08-53-38.diff.csv                                                                         2020-11-08 08:53   60K  
 results.2020-11-08_08-53-38.table.csv                                                                        2020-11-08 08:53  651K  
 results.2020-11-08_08-53-38.diff.html                                                                        2020-11-08 08:53  1.4M  
 results.2020-11-08_08-53-38.table.html                                                                       2020-11-08 08:53  4.6M  
 overview                                                                                                     2020-11-08 08:56   89K