Published January 25, 2022
| Version v2.0
Dataset
Open
Dataset for "Too much information: CDCL solvers need to forget and perform restarts"
Authors/Creators
- 1. Ulm University, Institute of Theoretical Computer Science
Description
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.
Notes
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''.
Files
Files
(33.5 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:c51ff7be790e1b1cf2d518dff3298f53
|
33.4 GB | Download |
|
md5:2b6654ba22c1c3dd6bd8b366cf8450a3
|
34.1 MB | Download |
Additional details
References
- Tom Krüger, Jan-Hendrik Lorenz, Florian Wörz (2022). Related to arXiv:2202.01030