SoSy-Lab Virtual Machine (Ubuntu 24.04 LTS)

Virtual Machine for Reproduction of Results

This VM can be used for running the reproduction packages published by SoSy-Lab.

Operating system

Ubuntu 24.04.2 LTS with Linux kernel 6.8.0-57-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 13.3.0
• Clang 18.1.3
• Python 3.12.3
• OpenJDK Runtime Environment 11.0.26, 17.0.14, and 21.0.6
• BenchExec 3.29

To see the full list of installed packages, please open the README file in the archive.