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

This repository contains all generated data and evaluations of the paper "Too much information: CDCL solvers need to forget and perform restarts" by Tom Krüger, Jan-Hendrik Lorenz, and Florian Wörz.

In particular, this collection contains the scripts for obtaining the sets \(\mathbb{L}\) (cores) and reconstructing our sampled sets \(L\) (ext_bitstrings). 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.