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

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.