Index of /logs/student-accelerated-interpolation/20210224-091456-student-accelerator-36cd7bec1a

 Name                                                                                                         Last modified      Size  Description
 Parent Directory                                                                                                                  -   
 student-accelerator-lt30-svcomp.2021-02-23_12-49-01.logfiles-dump/                                           2021-02-24 09:16    -   
 student-accelerator-lt30-svcomp.2021-02-23_12-49-01.logfiles/                                                2021-02-24 07:09    -   
 overview                                                                                                     2021-02-24 09:16   96K  
 results.2021-02-24_09-14-29.diff.csv                                                                         2021-02-24 09:14  103K  
 results.2021-02-24_09-14-29.diff.html                                                                        2021-02-24 09:14  1.6M  
 results.2021-02-24_09-14-29.table.csv                                                                        2021-02-24 09:14  769K  
 results.2021-02-24_09-14-29.table.html                                                                       2021-02-24 09:14  5.5M  
 student-accelerator-lt30-svcomp.2021-02-23_12-49-01.results.Automizer AcceleratedFastUPR.lt300_32.xml        2021-02-23 21:43  1.9M  
 student-accelerator-lt30-svcomp.2021-02-23_12-49-01.results.Automizer AcceleratedFastUPR.lt300_64.xml        2021-02-23 21:43  2.1M  
 student-accelerator-lt30-svcomp.2021-02-23_12-49-01.results.Automizer AcceleratedFastUPR.xml                 2021-02-23 21:43  4.0M  
 student-accelerator-lt30-svcomp.2021-02-23_12-49-01.results.Automizer AcceleratedWerner.lt300_32.xml         2021-02-24 07:22  1.8M  
 student-accelerator-lt30-svcomp.2021-02-23_12-49-01.results.Automizer AcceleratedWerner.lt300_64.xml         2021-02-24 07:22  2.1M  
 student-accelerator-lt30-svcomp.2021-02-23_12-49-01.results.Automizer AcceleratedWerner.xml                  2021-02-24 07:22  4.0M  
 student-accelerator-lt30-svcomp.2021-02-23_12-49-01.results.Automizer Craig_NestedInterpolation.lt300_32.xml 2021-02-24 03:06  1.9M  
 student-accelerator-lt30-svcomp.2021-02-23_12-49-01.results.Automizer Craig_NestedInterpolation.lt300_64.xml 2021-02-24 03:06  2.1M  
 student-accelerator-lt30-svcomp.2021-02-23_12-49-01.results.Automizer Craig_NestedInterpolation.xml          2021-02-24 03:06  4.1M  
 student-accelerator-lt30-svcomp.2021-02-23_12-49-01.results.Automizer DEFAULT.lt300_32.xml                   2021-02-23 16:06  1.8M  
 student-accelerator-lt30-svcomp.2021-02-23_12-49-01.results.Automizer DEFAULT.lt300_64.xml                   2021-02-23 16:06  2.0M  
 student-accelerator-lt30-svcomp.2021-02-23_12-49-01.results.Automizer DEFAULT.xml                            2021-02-23 16:06  3.8M  
 student-accelerator-lt30-svcomp.2021-02-23_12-49-01.results.txt                                              2021-02-24 07:22  2.4M