Benchmarks from the paper titled "An SMT-LIB Theory of Heaps" submtted to SMT 2022

<p>Benchmarks from the paper titled &quot;An SMT-LIB Theory of Heaps&quot; submtted to SMT 2022</p> <p><strong>benchmarks/</strong><br> This directory contains all benchmarks (excluding SV-Comp sources).<br> - <strong>benchmarks/heap</strong>&nbsp;contains all heap benchmarks (smt2).&nbsp;<br> - <strong>benchmarks/heap2array</strong>&nbsp;contains all heap2array encoded benchmarks (smt2).</p> <p>The source benchmarks from SV-Comp 2022 (`.c` and `.i` files together with their accompanying `.yml` files) are not provided in this repository due to licensing reasons, but the files are freely available for download: <a href="https://zenodo.org/record/5831003/export/hx">https://zenodo.org/record/5831003/export/hx</a></p>