dbeyer 2018-10-23: Clearify definition of valid-memcleanup
-More precisely: There exists no finite execution of the program on which the program terminates
+In addition to valid-memtrack: There exists no finite execution of the program on which the program terminates

dbeyer 2018-10-16: Switch from Ubuntu 16.04 to Ubuntu 18.04
-a GNU/Linux operating system (x86_64-linux, Ubuntu 16.04);
+a GNU/Linux operating system (x86_64-linux, Ubuntu 18.04);

dbeyer 2017-11-10: Add forgotten requirement that the archives must contain exactly one directory
-  <li>The verifier is archived in a ZIP file (.zip).
+  <li>The verifier is archived in a ZIP file (.zip), which contains exactly one directory (no tarbomb).