SoSy-Lab Virtual Machine (Ubuntu 16.04 LTS)

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