Published August 26, 2023 | Version 22.04
Software Open

SoSy-Lab Virtual Machine (Ubuntu 22.04 LTS)

  • 1. LMU Munich, Germany

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