Index of /logs/student-accelerated-interpolation/20200719-142231-student-accelerator-267fbe00d9

 Name                                                                                                            Last modified      Size  Description
 Parent Directory                                                                                                                     -   
 student-accelerator-lt30-svcomp-ea.2020-07-17_20-58-56.logfiles/                                                2020-07-18 08:47    -   
 overview                                                                                                        2020-07-19 14:22   25K  
 results.2020-07-19_14-22-25.diff.csv                                                                            2020-07-19 14:22  184K  
 results.2020-07-19_14-22-25.diff.html                                                                           2020-07-19 14:22  1.8M  
 results.2020-07-19_14-22-25.table.csv                                                                           2020-07-19 14:22  658K  
 results.2020-07-19_14-22-25.table.html                                                                          2020-07-19 14:22  4.3M  
 student-accelerator-lt30-svcomp-ea.2020-07-17_20-58-56.results.Automizer AcceleratedFastUPR.lt300_32.xml        2020-07-18 02:37  1.8M  
 student-accelerator-lt30-svcomp-ea.2020-07-17_20-58-56.results.Automizer AcceleratedFastUPR.lt300_64.xml        2020-07-18 02:37  2.0M  
 student-accelerator-lt30-svcomp-ea.2020-07-17_20-58-56.results.Automizer AcceleratedFastUPR.xml                 2020-07-18 02:37  3.8M  
 student-accelerator-lt30-svcomp-ea.2020-07-17_20-58-56.results.Automizer Craig_NestedInterpolation.lt300_32.xml 2020-07-18 08:55  1.8M  
 student-accelerator-lt30-svcomp-ea.2020-07-17_20-58-56.results.Automizer Craig_NestedInterpolation.lt300_64.xml 2020-07-18 08:55  2.0M  
 student-accelerator-lt30-svcomp-ea.2020-07-17_20-58-56.results.Automizer Craig_NestedInterpolation.xml          2020-07-18 08:55  3.8M  
 student-accelerator-lt30-svcomp-ea.2020-07-17_20-58-56.results.Automizer DEFAULT.lt300_32.xml                   2020-07-18 00:09  1.8M  
 student-accelerator-lt30-svcomp-ea.2020-07-17_20-58-56.results.Automizer DEFAULT.lt300_64.xml                   2020-07-18 00:10  2.0M  
 student-accelerator-lt30-svcomp-ea.2020-07-17_20-58-56.results.Automizer DEFAULT.xml                            2020-07-18 00:09  3.8M  
 student-accelerator-lt30-svcomp-ea.2020-07-17_20-58-56.results.txt                                              2020-07-18 08:55  1.8M