Published December 24, 2022
| Version 0.2.2-2329fc70
Software
Open
Ultimate Automizer SV-COMP 2023 Competition Contribution
- 1. University of Freiburg
Description
This archive contains Ultimate Automizer v0.2.2-2329fc70, which was used in SV-COMP 2023. It is also available from the official SV-COMP 2023 archive.
Files
uautomizer.zip
Files
(108.1 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:8a60666f769aed81050c7fd9b745c70a
|
108.1 MB | Preview Download |