#!/bin/sh
RUN=$1

if [ $RUN -eq 0 ]; then
	exit
fi

ARGS=$2
OUT_NAME=$3
COMMAND=$4
COMMON_ARGS=$5
BASE_NAME=$6
PROBLEMS=$7
BIN_DIR=$8

mkdir -p $BASE_NAME$OUT_NAME 2> /dev/null
/usr/bin/time $BIN_DIR/$COMMAND $ARGS $COMMON_ARGS -o $BASE_NAME$OUT_NAME -f $PROBLEMS 2> $BASE_NAME$OUT_NAME/stderr 1> $BASE_NAME$OUT_NAME/stdout
