Index of /logs/vanilla-vs-bitabs/20231228-135149-vanilla-vs-bitabs-d9c3e40566-M
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[DIR]](/icons/folder.gif)
bitabs-svcomp-64.2023-12-25_13-11-58.logfiles/ 2023-12-26 17:47 -
bitabs-svcomp-64.2023-12-25_13-11-58.logfiles-dump/ 2023-12-28 13:53 -
bitabs-svcomp-32.2023-12-18_16-17-59.logfiles/ 2023-12-25 13:02 -
bitabs-svcomp-32.2023-12-18_16-17-59.logfiles-dump/ 2023-12-28 13:53 -
![[TXT]](/icons/text.gif)
tabledef.xml 2023-12-28 13:48 873
tabledef.table.html 2023-12-28 13:49 12M
tabledef.table.csv 2023-12-28 13:49 1.9M
tabledef.diff.html 2023-12-28 13:49 8.3M
tabledef.diff.csv 2023-12-28 13:49 1.3M
![[ ]](/icons/unknown.gif)
overview 2023-12-28 13:53 181K
bitabs-svcomp-64.2023-12-25_13-11-58.results.txt 2023-12-26 18:01 577K
bitabs-svcomp-64.2023-12-25_13-11-58.results.Integer.ReachSafety-64.xml 2023-12-26 02:20 1.5M
bitabs-svcomp-64.2023-12-25_13-11-58.results.Integer-Bitabs.ReachSafety-64.xml 2023-12-25 23:30 1.5M
bitabs-svcomp-64.2023-12-25_13-11-58.results.Bitvector.ReachSafety-64.xml 2023-12-26 18:01 1.5M
bitabs-svcomp-32.2023-12-18_16-17-59.results.txt 2023-12-25 13:11 4.0M
bitabs-svcomp-32.2023-12-18_16-17-59.results.Integer.ReachSafety-32.xml 2023-12-21 15:27 10M
bitabs-svcomp-32.2023-12-18_16-17-59.results.Integer-Bitabs.ReachSafety-32.xml 2023-12-20 05:37 10M
bitabs-svcomp-32.2023-12-18_16-17-59.results.Bitvector.ReachSafety-32.xml 2023-12-25 13:11 11M