Index of /logs/student-accelerated-interpolation/20200905-093917-student-accelerator-3af5e1fa8f

 Name                                                                                                         Last modified      Size  Description
 Parent Directory                                                                                                                  -   
 student-accelerator-lt30-svcomp.2020-09-04_12-26-17.logfiles-dump/                                           2020-09-05 09:46    -   
 student-accelerator-lt30-svcomp.2020-09-04_12-26-17.logfiles/                                                2020-09-05 01:39    -   
 overview                                                                                                     2020-09-05 09:46   82K  
 results.2020-09-05_09-38-58.diff.csv                                                                         2020-09-05 09:38   37K  
 results.2020-09-05_09-38-58.diff.html                                                                        2020-09-05 09:38  1.0M  
 results.2020-09-05_09-38-58.table.csv                                                                        2020-09-05 09:38  653K  
 results.2020-09-05_09-38-58.table.html                                                                       2020-09-05 09:39  4.3M  
 student-accelerator-lt30-svcomp.2020-09-04_12-26-17.results.Automizer AcceleratedFastUPR.lt300_32.xml        2020-09-04 20:23  1.9M  
 student-accelerator-lt30-svcomp.2020-09-04_12-26-17.results.Automizer AcceleratedFastUPR.lt300_64.xml        2020-09-04 20:23  2.1M  
 student-accelerator-lt30-svcomp.2020-09-04_12-26-17.results.Automizer AcceleratedFastUPR.xml                 2020-09-04 20:23  4.0M  
 student-accelerator-lt30-svcomp.2020-09-04_12-26-17.results.Automizer Craig_NestedInterpolation.lt300_32.xml 2020-09-05 01:50  1.9M  
 student-accelerator-lt30-svcomp.2020-09-04_12-26-17.results.Automizer Craig_NestedInterpolation.lt300_64.xml 2020-09-05 01:50  2.1M  
 student-accelerator-lt30-svcomp.2020-09-04_12-26-17.results.Automizer Craig_NestedInterpolation.xml          2020-09-05 01:50  4.0M  
 student-accelerator-lt30-svcomp.2020-09-04_12-26-17.results.Automizer DEFAULT.lt300_32.xml                   2020-09-04 14:58  1.9M  
 student-accelerator-lt30-svcomp.2020-09-04_12-26-17.results.Automizer DEFAULT.lt300_64.xml                   2020-09-04 14:58  2.1M  
 student-accelerator-lt30-svcomp.2020-09-04_12-26-17.results.Automizer DEFAULT.xml                            2020-09-04 14:58  3.9M  
 student-accelerator-lt30-svcomp.2020-09-04_12-26-17.results.txt                                              2020-09-05 01:50  1.8M