Index of /logs/student-accelerated-interpolation/20200709-092132-student-accelerator-46f303861f-M

 Name                                                                                                         Last modified      Size  Description
 Parent Directory                                                                                                                  -   
 student-accelerator-lt30-svcomp.2020-07-08_10-52-48.logfiles/                                                2020-07-09 01:49    -   
 overview                                                                                                     2020-07-09 09:21   25K  
 results.2020-07-09_09-21-24.diff.csv                                                                         2020-07-09 09:21  103K  
 results.2020-07-09_09-21-24.diff.html                                                                        2020-07-09 09:21  1.4M  
 results.2020-07-09_09-21-24.table.csv                                                                        2020-07-09 09:21  656K  
 results.2020-07-09_09-21-24.table.html                                                                       2020-07-09 09:21  4.3M  
 student-accelerator-lt30-svcomp.2020-07-08_10-52-48.results.Automizer AcceleratedFastUPR.lt300_32.xml        2020-07-08 19:46  1.8M  
 student-accelerator-lt30-svcomp.2020-07-08_10-52-48.results.Automizer AcceleratedFastUPR.lt300_64.xml        2020-07-08 19:46  1.9M  
 student-accelerator-lt30-svcomp.2020-07-08_10-52-48.results.Automizer AcceleratedFastUPR.xml                 2020-07-08 19:46  3.7M  
 student-accelerator-lt30-svcomp.2020-07-08_10-52-48.results.Automizer Craig_NestedInterpolation.lt300_32.xml 2020-07-09 01:58  1.8M  
 student-accelerator-lt30-svcomp.2020-07-08_10-52-48.results.Automizer Craig_NestedInterpolation.lt300_64.xml 2020-07-09 01:58  2.0M  
 student-accelerator-lt30-svcomp.2020-07-08_10-52-48.results.Automizer Craig_NestedInterpolation.xml          2020-07-09 01:58  3.7M  
 student-accelerator-lt30-svcomp.2020-07-08_10-52-48.results.Automizer DEFAULT.lt300_32.xml                   2020-07-08 14:07  1.8M  
 student-accelerator-lt30-svcomp.2020-07-08_10-52-48.results.Automizer DEFAULT.lt300_64.xml                   2020-07-08 14:07  2.0M  
 student-accelerator-lt30-svcomp.2020-07-08_10-52-48.results.Automizer DEFAULT.xml                            2020-07-08 14:07  3.9M  
 student-accelerator-lt30-svcomp.2020-07-08_10-52-48.results.txt                                              2020-07-09 01:58  1.8M