Time Leap Challenge for SAT-Solving

The dataset used in the Time Leap Challenge for SAT-Solving, comparing old solvers on new hardware with modern solvers on old hardware.

Data and Resources

Original MetadataJSON
The json representation of the dataset with its distributions based on DCAT.
Explore
- Preview
- Download

Johannes K. Fichte, Markus Hecher, Stefan Szeider (2025). Dataset: Time Leap Challenge for SAT-Solving. https://doi.org/10.57702/xrqufsvn

DOI retrieved: January 2, 2025

Field	Value
Created	January 2, 2025
Last update	January 2, 2025
Defined In	https://doi.org/10.48550/arXiv.2008.02215
Author	Johannes K. Fichte
More Authors	Markus Hecher Stefan Szeider
Homepage	https://doi.org/10.5281/zenodo.3948480