Index of /logs/student-accelerated-interpolation/20210221-142730-student-accelerator-27db37923c
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[DIR]](/icons/folder.gif)
student-accelerator-lt30-svcomp.2021-02-19_16-56-11.logfiles-dump/ 2021-02-21 14:29 -
student-accelerator-lt30-svcomp.2021-02-19_16-56-11.logfiles/ 2021-02-20 00:47 -
![[TXT]](/icons/text.gif)
overview 2021-02-21 14:29 77K
results.2021-02-21_14-27-06.diff.csv 2021-02-21 14:27 389K
results.2021-02-21_14-27-06.table.csv 2021-02-21 14:27 579K
student-accelerator-lt30-svcomp.2021-02-19_16-56-11.results.txt 2021-02-20 01:00 1.5M
student-accelerator-lt30-svcomp.2021-02-19_16-56-11.results.Automizer DEFAULT.lt300_32.xml 2021-02-19 20:12 1.8M
student-accelerator-lt30-svcomp.2021-02-19_16-56-11.results.Automizer Craig_NestedInterpolation.lt300_64.xml 2021-02-19 22:46 1.9M
student-accelerator-lt30-svcomp.2021-02-19_16-56-11.results.Automizer DEFAULT.lt300_64.xml 2021-02-19 20:12 2.0M
student-accelerator-lt30-svcomp.2021-02-19_16-56-11.results.Automizer AcceleratedFastUPR.lt300_64.xml 2021-02-19 22:28 2.1M
student-accelerator-lt30-svcomp.2021-02-19_16-56-11.results.Automizer AcceleratedWerner.lt300_64.xml 2021-02-20 01:00 2.2M
results.2021-02-21_14-27-06.diff.html 2021-02-21 14:27 3.3M
student-accelerator-lt30-svcomp.2021-02-19_16-56-11.results.Automizer DEFAULT.xml 2021-02-19 20:12 3.8M
results.2021-02-21_14-27-06.table.html 2021-02-21 14:27 4.4M