SMT-lib Benchmark Formulas from Boolean Programs
dbeyer opened this issue · 0 comments
The problem was the following: The collection clauses/BOOL/slam.zip
was checked in as a zip archive in the SVN repository (the previous version of this repo),
while the repository directory clauses/ was supposed to hold only SMT-lib files.
When we moved the repository to GitHub, we could not move that file
because GitHub did not support files larger than 100 MB.
The reason that the contributor (Nikolaj Bjorner, 9a1394f) had when checking it in as zip file was probably that unzipped it is about 3 GB large and would blow up the repository.
-
@PhilippWendler dug that file out from a backup and I made it now available on Zenodo:
https://doi.org/10.5281/zenodo.3718984 -
I also added a description in the repository (commit 6c4d8bc) at the location where one would look for it:
https://github.com/sosy-lab/sv-benchmarks/blob/master/clauses/BOOL/slam.zip.txt -
We also made the original URL working again and point to the archive at Zenodo.
So the reference in the paper works again:
https://svn.sosy-lab.org/software/sv-benchmarks/trunk/clauses/BOOL/slam.zip
(It it does not work, then your browser caches the redirect.)