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

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

Related Organizations

University of Regensburg
Germany
Uppsala University
Sweden

Keywords

SMT, SMT-LIB, Constrained Horn Clauses, Theory of heaps

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average