This artifact contains the virtual machine used during artifact evaluation for FASE 2023. It was created with VirtualBox 6.1.40 and consists of an installation of Ubuntu 22.04.01 with Linux 5.15.0-50 and the following notable packages. A 32bit libc clang 14.0.0 gcc 11.2.0 Mono 6.12.0.182 OCaml 4.14.0 and OPAM 2.1.3 OpenJDK 11.0.16 and OpenJDK 17.0.4 (default) Python 2.7.18, Python 3.10.06, and pip3 (pip 22.0.2) Ruby 3.0.2p107 bash 5.1.16(1) cmake 3.22.1 GNU Make 4.3 BenchExec 3.13 VIM 8.2 Emacs 27.1 VirtualBox guest additions 6.1.40 The login and password of the default user are: fase2023 / fase2023 The root user has the same password. In order to save space, the VM does not have an active swap file. You can activate swap for the running session using the following commands. sudo fallocate -l 1G /swapfile sudo chmod 600 /swapfile sudo mkswap /swapfile sudo swapon /swapfile To switch between Java runtimes and Java compilers, you can use sudo update-alternatives --config java sudo update-alternatives --config javac The VM is intended to be used to evaluate artifacts that are self-contained, i.e., that contain the artifact (data, software, etc.) and all necessary dependencies (e.g., software packages). To include an Ubuntu package in your artifact, you can provide a .deb file with all the necessary dependencies and install them as follows. sudo dpkg -i <.deb file> You can get the necessary .deb files for example as follows: If you have only one package without dependencies, you can use apt-get download <packagename> If you have only one package without dependencies but with local modifications, e.g., particular configuration files, you can use the dpkg-repack utility. If you have a package with multiple dependencies, you can use wget together with apt to download them all and put them into a folder: wget $(apt-get install --reinstall --print-uris -qq <packagename> | cut -d"'" -f2) Alternatively, you may run the following code. sudo apt-get update apt-get --print-uris install <packagename> | grep -oP "(?<=').*(?=')" > <filename> for i in $(cat <filename>) ; do wget -nv $i ; done You can include required OCaml packages not present in our installation via OPAM. To this end, you may want to download the packages, e.g., using the following command. opam install --download-only --destdir=<dir> <package> To install all packages available in <dir> in the VM, use the following command: opam install <dir> You may include the required Python packages using pip. You can get the necessary files for example as follows: pip3 download <package> The downloaded package can then be installed using pip3 install <package-file> To provide missing Ruby Gem packages, you may download them via gem fetch <gem> and install them, e.g., via gem install <gem-file>