There is a newer version of the record available.

Published January 24, 2018 | Version 1.1.0
Software Open

SoSy-Lab Virtual Machine (Ubuntu 16.04 LTS)

  • 1. LMU Munich, Germany


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 (2.1 GB)

Name Size Download all
2.1 GB Preview Download