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

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