Index of /logs/student-schaetzle/20190805-174822-student-schaetzle-b8c145f09e
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[DIR]](/icons/folder.gif)
student-sifa-bpl.2019-08-05_0952.logfiles/ 2019-08-05 12:20 -
![[ ]](/icons/unknown.gif)
overview 2019-08-05 17:49 21K
![[TXT]](/icons/text.gif)
results.2019-08-05_1430.diff.csv 2019-08-05 14:30 283K
results.2019-08-05_1430.diff.html 2019-08-05 14:30 1.6M
results.2019-08-05_1430.table.csv 2019-08-05 14:30 366K
results.2019-08-05_1430.table.html 2019-08-05 14:30 2.1M
student-sifa-bpl.2019-08-05_0952.results.AIv2 EXp+CONG.NoTermination.xml 2019-08-05 12:21 2.2M
student-sifa-bpl.2019-08-05_0952.results.Automizer NestedInterpolants.NoTermination.xml 2019-08-05 11:25 2.1M
student-sifa-bpl.2019-08-05_0952.results.Sifa.NoTermination.xml 2019-08-05 12:12 2.1M
student-sifa-bpl.2019-08-05_0952.results.txt 2019-08-05 12:21 1.1M