We chose to use the provided cav18.ova as basis for our VM image. To this, we
added a second disk with a (dynamically growing) size of 100 GB. To prepare and
test this VM, we used a Laptop with an Intel Core i7-4600U CPU @ 2.10GHz (2
cores with a total of 4 threads) and 12 GiB of RAM, running Fedora 26 (Linux
4.14.14-200.fc26.x86_64) and VirtualBox 5.1.32.

The parameters we used for our VM were: 1 core and 2 GB of RAM to test a minimal
configuration. However, we recommend setting the RAM limit as high as you can
afford, ideally to 10 GB per core. Depending on how much of our experiments
you want to run yourself, additional cores will drastically reduce the time
needed (as work is split accross them), as long as you do not assign more
virtual cores than physical cores are available.

To get started, import and boot the VM. You can find all our artifact files in
/home/cav/Desktop/Evaluation/ (a directory placed on the desktop), including
our documentation, which is named README.pdf (alternatively available as
README.md markdown document). The documentation is also linked from the desktop.

SHA1 checksum:
bd325430ac3d17086d0a450e0456c62280ed1d7a  cav18-SymbolicLivenessAnalysis.ova