Remove a tester that does not participate, must have been accidentally submitted

4 jobs for master in 18 minutes and 44 seconds (queued for 16 minutes and 25 seconds)
latest
Name Stage Failure
failed
check_2020 Checks
Using docker image sha256:799c2f39933a40de99017dd07b02da790fc889bfee3cfa5d7045fc72eb502f89 for registry.gitlab.com/sosy-lab/test-comp/archives-2020/test:latest with digest registry.gitlab.com/sosy-lab/test-comp/archives-2020/test@sha256:00ad718f6c4fb69f6bd40bc653b45294458693acb4c9ba60a7fb93e1e5211dd6 ...
$ wget -q https://github.com/sosy-lab/benchexec/archive/master.zip && unzip -q master.zip
$ PYTHONPATH=benchexec-master python3 check.py 2020
Traceback (most recent call last):
File "check.py", line 14, in <module>
from benchexec import model, test_tool_info
ModuleNotFoundError: No module named 'benchexec'
Cleaning up project directory and file based variables
ERROR: Job failed: exit code 1