SoSy-Lab Virtual Machine (Ubuntu 16.04 LTS)
Year: 2018
Type: software
Abstract: Ubuntu 16.04 LTS with the following modifications: GCC version: 5.4.0-6ubuntu1~16.04.5 Kernel: 4.13.0-26-generic Updated all installed packages (date: 2018/01/17) Removed libreoffice*, thunderbird packages, update-manager, unattended-upgrades, outdated kernel-headers and their now unneeded dependencies Installed gcc-multilib, build-essential, ant, cmake 3.5.1 and openjdk-8-jdk Installed BenchExec-1.4 (with dependency python3-tempita) Modified kernel boot parameters for benchexec: Added `swapaccount=1` Added gnome-terminal to the dock Removed Amazon and Software Center from the dock Change log for version 1.1.0: Allow benchmarks with SV-COMP resources: * Increase memory of VM to 18GB * Increase processor count to 4 cores The above resource requirements might be too large for some workstations. If this is true for you, change the resource limit manually or use version 1.0.0 of this VM.
Authors: Beyer, Dirk, Chien, Po-Chun, Lee, Nian-Ze
Institution: Ludwig-Maximilians-Universität München
Language: English
Subfield: Information Systems and Management
Field: Decision Sciences
Domain: Social Sciences
Open Access status: green
OpenAlex ID: W2955451034