Published November 24, 2021
| Version 0.2.2-839c364b
Software
Open
Ultimate GemCutter SV-COMP 2022 Competition Contribution
Creators
- 1. University of Freiburg
- 2. University of Toronto
Description
This archive contains Ultimate GemCutter v0.2.2-839c364b, which was used in SV-COMP 2022. It should also be available from the official SV-COMP 2022 archive (commit 81d35bd7).
Files
ugemcutter.zip
Files
(93.4 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:f1ded16aaf788014793b5725015c0cb7
|
93.4 MB | Preview Download |