Published February 5, 2021
| Version v1
Software
Open
Syntax-Guided Quantifier Instantiation (TACAS 2021 Artifact)
- 1. Stanford University
- 2. The University of Iowa
Description
This artifact contains the log files, benchmarks, binaries and supporting material required to replicate the results described in the experimental evaluation of our regular paper "Syntax-Guided Quantifier Instantiation" accepted at TACAS 2021. Please refer to the Readme.md included in the artifact archive for further instructions.
Files
Files
(115.2 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:a941eda2cd7963fc4a08ba2c4e79ac02
|
115.2 MB | Download |