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{CDCLSolver}(\mathscr{F} \cup L)\) can be found. Additionally, we included visual and statistical evaluations used in this paper.

The authors acknowledge support by the state of Baden-Württemberg through bwHPC. Tom Krüger and Florian Wörz: Supported by the Deutsche Forschungsgemeinschaft (DFG) under project number 430150230, ``Complexity measures for solving propositional formulas''.

{"references": ["Tom Kr\u00fcger, Jan-Hendrik Lorenz, Florian W\u00f6rz (2022). Related to arXiv:2202.01030"]}