# Copyright (C) 2001  Dale Schuurmans, Finnegan Southey                    
# This work is licensed under the Gnu General Public License (see gpl.txt).

# Used to run different solvers on a batch of problems and output the results
# to a common location.

RUN=$1
ARGS=$2
RESULTS=$3
SOLVER=$4
COMMON_ARGS=$5
BINDIR=$6
PROBLEMS=$7

_OLDDIR=$PWD
cd $BINDIR

rm -f $RESULTS/errors
if [ $RUN -eq 1 ]; then
	mkdir -p $RESULTS 1> /dev/null 2> /dev/null
	echo $SOLVER $COMMON_ARGS $ARGS > $RESULTS/cfg
	$SOLVER $COMMON_ARGS $ARGS $PROBLEMS 1> $RESULTS/all 2> $RESULTS/errors
	if [ ! -s $RESULTS/errors ]; then
		rm -f $RESULTS/errors
	fi
fi

cd $_OLDDIR