Published February 2, 2024 | Version v1
Dataset Open

Lifespan of SAT Techniques

Authors/Creators

  • 1. ROR icon University of Freiburg
  • 2. ROR icon 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
md5:f9d47d0e3989125668bb480078a8a313
1.4 GB Download