Published August 27, 2024 | Version v1
Other Open

Benchmarks of SAT Competition 2024

Authors/Creators

  • 1. ROR icon Karlsruhe Institute of Technology
  • 2. Carnegie Mellon University
  • 3. ROR icon University of Helsinki
  • 4. ROR icon Czech Technical University in Prague

Description

The Benchmarks used in SAT Competition 2024

Files

benchmarks.zip

Files (4.3 GB)

Name Size Download all
md5:5e1552a8bd13f0409a0edf91ba15e8c6
4.3 GB Preview Download

Additional details

Related works

Is supplement to
Other: http://hdl.handle.net/10138/584822 (URL)