#!/bin/bash
#
# Runs following the call convention described in
#
#   http://www.lri.fr/~marche/termination-competition/2007/rules.html
#
# and decides which version to use depending on the problem type
#
# First parameter:  Problem filename
# Second parameter: Maximum al/lowed CPU time (integer
# Third parameter:  For logic programs, an input query.
#
# Current working directory is the directory where containing this file.

PROBLEM="$1"

export PATH=./resources/bin/:$PATH
java $JAVAOPTS -ea -Xmx3g -jar resources/aprove20140427-formative.jar $PROBLEM -t 60 -p plain -m wst -u cli -s resources/strategies/formative-polo3-mk2/Polo3-uTrue-uaTrue-fFalse-faFalse.strategy

