Data for CSB: a Counting and Sampling tool for Bit-vectors (Acta Informatica paper)

The artifact consists of the necessary data to reproduce the results reported in the Acta Informatica Paper titled "CSB: a Counting and Sampling tool for Bit-vectors" In particular, the artifact consists of the benchmarks, the log files generated on our computing cluster.