#!/bin/sh
# DF-2314 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
sh run.sh (scenarios 9,3,2,1,10,11; after-fix A/B: ./pnphctl 3; ./pnphctl 10; ./pnphctl 11)