1 2 3 4
#!/bin/sh # DF-3093 run (see VERDICT.md for preconditions) cd "$(dirname "$0")" sh run2.sh 20 6 3 2097152; sh run4.sh 2 6 2 16777216; sh run6.sh 2 6 2 16777216