TACAS 2019 Artifact Evaluation VM

The virtual machine that was used for evaluation of artifacts for TACAS 2019. The virtual machine is based on the Ubuntu 18.04.1 LTS GNU/Linux operating system with the following additional packages: build-essential, cmake, clang, mono-complete, openjdk-8-jdk, ruby, and a 32-bit libc. The password for the user "tacas19" is "a". The VM is packaged in an Open Virtualization Archive and can be imported, e.g., into VirtualBox.