FROM registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2021

RUN apt-get update && \
    apt-get install -y git software-properties-common vim zip
