Published February 24, 2024 | Version v2
Dataset Open

Data for An Approximate Skolem Funcion Counter (AAAI-24 paper)

Authors/Creators

  • 1. ROR icon Chennai Mathematical Institute
  • 2. ROR icon University of Toronto
  • 3. ROR icon Washington University in St. Louis

Description

The artifact consists of the necessary data to reproduce the results reported in the AAAI-24 Paper titled "An Approximate Skolem Funcion Counter." 

In particular, the artifact consists of the benchmarks, the log files generated on our computing cluster.

 

Files

README.md

Files (50.8 MB)

Name Size Download all
md5:c40646d094d169cd55f2f0c6748bb1c2
154.1 kB Preview Download
md5:a245bffd69f50e72830047055fec2f62
45.5 MB Preview Download
md5:8fa45300fed4a71a1989e65d239e5bd4
5.2 MB Preview Download
md5:2e64e2e70ae291a9bc851fab2e7e35bc
1.4 kB Preview Download