Published January 24, 2018
| Version 1.1.0
Software
Open
SoSy-Lab Virtual Machine (Ubuntu 16.04 LTS)
Description
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.
Files
SoSy-Lab_VM.zip
Files
(2.1 GB)
Name | Size | Download all |
---|---|---|
md5:f75cbbdec86ec77a1e5e637dba4481b4
|
2.1 GB | Preview Download |