Published February 2, 2024
| Version v1
Dataset
Open
Lifespan of SAT Techniques
-
1.
University of Freiburg
-
2.
TU Wien
Description
This artifact contains all the log files we have collected for our paper "Life span of SAT techniques" and the presentation at the Pragmatics of SAT 2023 workshop.
Files
Files
(1.4 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:f9d47d0e3989125668bb480078a8a313
|
1.4 GB | Download |