Published July 31, 2022
| Version v1
Dataset
Open
Benchmarks from the paper titled "An SMT-LIB Theory of Heaps" submtted to SMT 2022
Authors/Creators
- 1. Uppsala University
- 2. Regensburg University, Uppsala University
Description
Benchmarks from the paper titled "An SMT-LIB Theory of Heaps" submtted to SMT 2022
benchmarks/
This directory contains all benchmarks (excluding SV-Comp sources).
- benchmarks/heap contains all heap benchmarks (smt2).
- benchmarks/heap2array contains all heap2array encoded benchmarks (smt2).
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: https://zenodo.org/record/5831003/export/hx
Files
SMT-2022-Benchmarks-Theory-of-Heaps.zip
Files
(1.6 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:cef9a16570d24811173937a69b2216e8
|
1.6 MB | Preview Download |