Published May 22, 2023
| Version v1.0.0
Dataset
Open
Binary Decision Diagrams on Modern Hardware
Authors/Creators
Description
The reproducibility artefact for the "Binary Decision Diagrams on Modern Hardware" paper.
Follow the instructions in the README document. Depending on the concrete steps you want to reproduce, you may not need to download all files in the artefact. However, at the very least, you'll need either `bin.zip` (pre-compiled binaries) or `src.zip` (source code) and one of the benchmark datasets (`bdd-X-pruned.zip` and `benchmarks-X.tsv`).
Files
bbm-100.zip
Files
(23.0 GB)
| Name | Size | |
|---|---|---|
|
md5:279b2bda30f4515ed9e594f6c8622039
|
127.5 kB | Preview Download |
|
md5:30c2775625880542d2108556d7db711b
|
4.4 GB | Preview Download |
|
md5:7df39ea2a16c533b8d35bcdfca624487
|
16.3 GB | Preview Download |
|
md5:d3db623eeb282b72314d9885d8b1c9b1
|
373.7 MB | Preview Download |
|
md5:c20353847a4ef431be48677d1ce55504
|
1.9 GB | Preview Download |
|
md5:bbc386ebdba28a8e40397669d2e37509
|
20.8 kB | Download |
|
md5:cd8f6d96f87e1560210749f2fb56ed0e
|
13.6 kB | Download |
|
md5:ffec42441b19b3925602cb47baca2532
|
37.2 MB | Preview Download |
|
md5:3e3a31a398cd943b0098ef5dd0b531b7
|
14.3 kB | Preview Download |
|
md5:901fb976cccacdc2929e4f9e0cd540ba
|
907.3 kB | Preview Download |
|
md5:ff6c489d4dbb21726d938d138bc21b9b
|
53.0 kB | Preview Download |