Raw Data on Experiments for log-k-decomp

The following is the raw data for experiments on log-k-decomp (https://github.com/cem-okulmus/log-k-decomp) and it also contains as a comparison data from runs of htdSMT from Schidler et al.  (https://epubs.siam.org/doi/abs/10.1137/1.9781611976007.1) and NewDetKDecomp from Fisch et. al (https://dl.acm.org/doi/abs/10.1145/3294052.3319683), based on work by Samer and Gottlob (https://dl.acm.org/doi/abs/10.1145/1412228.1412229).

The graph names (as "names" in the .csv files) are instances of HyperBench (hyperbench.dbai.tuwien.ac.at/). For convenience, all hypergraphs are also available in the file "hypergraphs.csv".

For runs of log-k-decomp (inside LogkDecomp_Run.csv  and LogKHybrid_Run.csv ) the "RunInfo" field states all needed parameters to run the tests exactly as they were run in our test setup. After the "-graph" parameter, must be the filename of the instance that should be used for input.