Index of /logs/student-accelerated-interpolation/20200823-095016-student-accelerator-72570d36bb
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[DIR]](/icons/folder.gif)
student-accelerator-lt30-svcomp.2020-08-22_16-00-08.logfiles-dump/ 2020-08-23 09:57 -
student-accelerator-lt30-svcomp.2020-08-22_16-00-08.logfiles/ 2020-08-23 01:34 -
![[TXT]](/icons/text.gif)
overview 2020-08-23 09:57 82K
results.2020-08-23_09-50-01.diff.csv 2020-08-23 09:50 50K
results.2020-08-23_09-50-01.diff.html 2020-08-23 09:50 1.1M
results.2020-08-23_09-50-01.table.csv 2020-08-23 09:50 652K
results.2020-08-23_09-50-01.table.html 2020-08-23 09:50 4.3M
student-accelerator-lt30-svcomp.2020-08-22_16-00-08.results.Automizer AcceleratedFastUPR.lt300_32.xml 2020-08-22 21:10 1.8M
student-accelerator-lt30-svcomp.2020-08-22_16-00-08.results.Automizer AcceleratedFastUPR.lt300_64.xml 2020-08-22 21:10 2.0M
student-accelerator-lt30-svcomp.2020-08-22_16-00-08.results.Automizer AcceleratedFastUPR.xml 2020-08-22 21:10 3.7M
student-accelerator-lt30-svcomp.2020-08-22_16-00-08.results.Automizer Craig_NestedInterpolation.lt300_32.xml 2020-08-23 01:45 1.8M
student-accelerator-lt30-svcomp.2020-08-22_16-00-08.results.Automizer Craig_NestedInterpolation.lt300_64.xml 2020-08-23 01:45 2.1M
student-accelerator-lt30-svcomp.2020-08-22_16-00-08.results.Automizer Craig_NestedInterpolation.xml 2020-08-23 01:45 3.9M
student-accelerator-lt30-svcomp.2020-08-22_16-00-08.results.Automizer DEFAULT.lt300_32.xml 2020-08-22 17:52 1.8M
student-accelerator-lt30-svcomp.2020-08-22_16-00-08.results.Automizer DEFAULT.lt300_64.xml 2020-08-22 17:52 2.0M
student-accelerator-lt30-svcomp.2020-08-22_16-00-08.results.Automizer DEFAULT.xml 2020-08-22 17:52 3.8M
student-accelerator-lt30-svcomp.2020-08-22_16-00-08.results.txt 2020-08-23 01:45 1.8M