Index of /logs/vanilla-vs-bitabs/20231218-161342-vanilla-vs-bitabs-d9c3e40566-M
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[DIR]](/icons/folder.gif)
bitabs-svcomp-32.2023-12-15_16-54-30.logfiles-dump/ 2023-12-18 16:14 -
bitabs-svcomp-32.2023-12-15_16-54-30.logfiles/ 2023-12-16 18:47 -
bitabs-svcomp-64.2023-12-16_18-48-49.logfiles-dump/ 2023-12-18 16:14 -
bitabs-svcomp-64.2023-12-16_18-48-49.logfiles/ 2023-12-16 22:39 -
![[TXT]](/icons/text.gif)
tabledef.xml 2023-12-18 16:07 873
![[ ]](/icons/unknown.gif)
overview 2023-12-18 16:14 115K
bitabs-svcomp-64.2023-12-16_18-48-49.results.txt 2023-12-16 22:40 578K
tabledef.diff.csv 2023-12-18 16:08 1.0M
bitabs-svcomp-64.2023-12-16_18-48-49.results.Integer.ReachSafety-64.xml 2023-12-16 20:57 1.5M
bitabs-svcomp-64.2023-12-16_18-48-49.results.Integer-Bitabs.ReachSafety-64.xml 2023-12-16 20:03 1.5M
bitabs-svcomp-64.2023-12-16_18-48-49.results.Bitvector.ReachSafety-64.xml 2023-12-16 22:40 1.5M
tabledef.table.csv 2023-12-18 16:08 1.8M
bitabs-svcomp-32.2023-12-15_16-54-30.results.txt 2023-12-16 18:48 4.0M
tabledef.diff.html 2023-12-18 16:08 6.8M
bitabs-svcomp-32.2023-12-15_16-54-30.results.Integer.ReachSafety-32.xml 2023-12-16 06:43 11M
bitabs-svcomp-32.2023-12-15_16-54-30.results.Integer-Bitabs.ReachSafety-32.xml 2023-12-15 23:56 11M
bitabs-svcomp-32.2023-12-15_16-54-30.results.Bitvector.ReachSafety-32.xml 2023-12-16 18:48 11M
tabledef.table.html 2023-12-18 16:08 12M