Dataset for "Too much information: CDCL solvers need to forget and perform restarts"

<p>This repository contains all generated data and evaluations of the paper&nbsp;&quot;<strong>Too much information: CDCL solvers need to forget and perform restarts</strong>&quot; by Tom Kr&uuml;ger, Jan-Hendrik Lorenz, and Florian W&ouml;rz.</p> <p>In particular, this collection contains the scripts for obtaining the sets&nbsp;<span class="math-tex">\(\mathbb{L}\)</span>&nbsp;(<em>cores</em>) and reconstructing our sampled sets <span class="math-tex">\(L\)</span>&nbsp;(<em>ext_bitstrings</em>). Furthermore, all data obtained by calling&nbsp;<span class="math-tex">\(\mathrm{CDCLSolver}(\mathscr{F} \cup L)\)</span>&nbsp;can be found. Additionally, we included visual and statistical evaluations used in this paper.</p>