Published February 2, 2024 | Version v1
Dataset Open

Lifespan of SAT Techniques

  • 1. ROR icon University of Freiburg
  • 2. ROR icon TU Wien


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 (1.4 GB)

Name Size Download all
1.4 GB Download