Index of /logs/student-accelerated-interpolation/20210222-091832-student-accelerator-c2015064b7

 Name                                                                                                         Last modified      Size  Description
 Parent Directory                                                                                                                  -   
 student-accelerator-lt30-svcomp.2021-02-21_15-23-04.logfiles-dump/                                           2021-02-22 09:20    -   
 student-accelerator-lt30-svcomp.2021-02-21_15-23-04.logfiles/                                                2021-02-22 04:45    -   
 overview                                                                                                     2021-02-22 09:20   89K  
 results.2021-02-22_09-18-22.diff.csv                                                                         2021-02-22 09:18  508K  
 results.2021-02-22_09-18-22.diff.html                                                                        2021-02-22 09:18  3.9M  
 results.2021-02-22_09-18-22.table.csv                                                                        2021-02-22 09:18  782K  
 results.2021-02-22_09-18-22.table.html                                                                       2021-02-22 09:18  5.5M  
 student-accelerator-lt30-svcomp.2021-02-21_15-23-04.results.Automizer AcceleratedFastUPR.lt300_32.xml        2021-02-22 00:11  1.9M  
 student-accelerator-lt30-svcomp.2021-02-21_15-23-04.results.Automizer AcceleratedFastUPR.lt300_64.xml        2021-02-22 00:11  2.1M  
 student-accelerator-lt30-svcomp.2021-02-21_15-23-04.results.Automizer AcceleratedFastUPR.xml                 2021-02-22 00:11  4.0M  
 student-accelerator-lt30-svcomp.2021-02-21_15-23-04.results.Automizer AcceleratedWerner.lt300_32.xml         2021-02-22 04:58  1.8M  
 student-accelerator-lt30-svcomp.2021-02-21_15-23-04.results.Automizer AcceleratedWerner.lt300_64.xml         2021-02-22 04:58  2.1M  
 student-accelerator-lt30-svcomp.2021-02-21_15-23-04.results.Automizer AcceleratedWerner.xml                  2021-02-22 04:58  4.0M  
 student-accelerator-lt30-svcomp.2021-02-21_15-23-04.results.Automizer Craig_NestedInterpolation.lt300_32.xml 2021-02-22 00:41  1.6M  
 student-accelerator-lt30-svcomp.2021-02-21_15-23-04.results.Automizer Craig_NestedInterpolation.lt300_64.xml 2021-02-22 00:41  1.9M  
 student-accelerator-lt30-svcomp.2021-02-21_15-23-04.results.Automizer Craig_NestedInterpolation.xml          2021-02-22 00:41  3.5M  
 student-accelerator-lt30-svcomp.2021-02-21_15-23-04.results.Automizer DEFAULT.lt300_32.xml                   2021-02-21 18:39  1.8M  
 student-accelerator-lt30-svcomp.2021-02-21_15-23-04.results.Automizer DEFAULT.lt300_64.xml                   2021-02-21 18:39  2.0M  
 student-accelerator-lt30-svcomp.2021-02-21_15-23-04.results.Automizer DEFAULT.xml                            2021-02-21 18:39  3.8M  
 student-accelerator-lt30-svcomp.2021-02-21_15-23-04.results.txt                                              2021-02-22 04:58  2.4M