Index of /logs/student-jordan/20210416-091202-student-acceleration-259539aefe-M

Icon  Name                                                                                                            Last modified      Size  Description
[PARENTDIR] Parent Directory - [DIR] student-acceleration.2021-04-15_22-53-33.logfiles/ 2021-04-16 09:13 - [DIR] student-acceleration.2021-04-15_22-53-33.logfiles-dump/ 2021-04-16 09:13 - [TXT] student-acceleration.2021-04-15_22-53-33.results.txt 2021-04-16 09:13 286K [TXT] student-acceleration.2021-04-15_22-53-33.results.Automizer IcfgTranformation Jordan.reach-svcomp-all.xml 2021-04-16 09:13 1.2M [TXT] student-acceleration.2021-04-15_22-53-33.results.Automizer DEFAULT.reach-svcomp-all.xml 2021-04-16 09:13 1.2M [TXT] student-acceleration.2021-04-15_22-53-33.results.Automizer AcceleratedInterpolation Jordan.reach-svcomp-all.xml 2021-04-16 09:13 1.0M [TXT] results.2021-04-16_09-16-26.table.html 2021-04-16 09:16 1.9M [TXT] results.2021-04-16_09-16-26.table.csv 2021-04-16 09:16 152K [TXT] results.2021-04-16_09-16-26.diff.html 2021-04-16 09:16 1.7M [TXT] results.2021-04-16_09-16-26.diff.csv 2021-04-16 09:16 113K [   ] overview 2021-04-16 09:13 50K