Published April 4, 2025
| Version v1
Dataset
Open
Learn to Unlearn
Authors/Creators
-
1.
University of Freiburg
- 2. TU Wien
Description
These are the log files of the runs for our "Learn to unlearn" submission.
It contains 42 different Kissat runs on the SAT Competition 2024.
Files
Files
(573.6 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:7250b164491f967ceb9f772ea853d28d
|
573.6 MB | Download |
Additional details
Software
- Repository URL
- https://github.com/texmex76/kissat-cr
- Programming language
- C
- Development Status
- Concept