#!/bin/sh
# DF-5004 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
./run.sh   (cases: control / tc5 / pd200; ref0 belongs to DF-5005)