#!/bin/bash
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"

zipFile="$1"
problemFile="$2"
option="$3"

folder="$(dirname $problemFile)"
parentDirectory="$(dirname $folder)"

problem="$(basename $problemFile)"
problem="${problem%.*}"

domain="$(basename $folder)"
track="$(basename $parentDirectory)"

domainFile="$folder/domain.pddl"
domainFile2="${folder}/domain_${problem}.pddl"

case $option in
	"M")
		conf="M"
	;;
	"P")
		toolOption=""
		conf="MpC"
	;;
	*)
	echo "unnown option"
	exit 1
	;;
esac

tool="$DIR/runMadagascar"

mkdir -p "$track/$domain/$problem/$conf"
cd "$track/$domain/$problem/$conf"
touch result

unzip -p $zipFile $domainFile > domain.pddl
#if empty use alternate location
if [ ! -s domain.pddl ] ; then
	unzip -p $zipFile $domainFile2 > domain.pddl
fi
unzip -p $zipFile $problemFile > problem.pddl

solver="$DIR/../bin/incplan-picosat961"

cmd="$tool problem.pddl $toolOption"
/usr/bin/time -f 'completeTime=%e %S %U' bash -c  "ulimit -St 300; $cmd" &> result
rm -f domain.pddl problem.pddl output.sas problem.in problem.in.cnf problem.out problem.out.all gmon.out