Published August 26, 2023
| Version 22.04
Software
Open
SoSy-Lab Virtual Machine (Ubuntu 22.04 LTS)
Description
Virtual Machine for Reproduction of Results
This VM can be used for running the reproduction packages published by SoSy-Lab.
Operating system
Ubuntu 22.04.2 LTS with Linux kernel 5.15.0-27-generic
Resource Configurations
By default, this VM uses
- 6 CPU cores and
- 18000 MB of memory.
If the resource requirements are too high, please adjust the configurations manually.
Installed Software Packages
The following softwares have been installed in this VM:
- GCC 11.40
- Clang 14.0.0
- Python 3.10.12
- OpenJDK Runtime Environment 11.0.20 and 17.0.8
- BenchExec 3.17
To see the full list of installed packages, please open the README file in the archive.
Files
SoSy-Lab_Reproduction-VM.zip
Files
(4.8 GB)
Name | Size | Download all |
---|---|---|
md5:1754b006dc47aeadc5f492220f4592ac
|
4.8 GB | Preview Download |