#!/bin/ksh

DIR="$1"
PROBLEM="$2"
TIME="$3"

for FILE in `ls ${DIR}/p-${PROBLEM}*` ;
do

cat /dev/null > result

dlp $FILE > result | true


SOMETHING=`grep -c "^" result`

INSTANCE=`echo ${FILE} | sed "s#${DIR}/##" | sed "s#\..*##"` 

if test $SOMETHING -eq 0
then
	echo "r ${INSTANCE} 360000 T"
else
	RESULT=`grep "^r " result | sed "s#${DIR}/##" | sed "s#\.\([0-9]*\)##"` 
	echo $RESULT
fi
done