#!/bin/bash

PROBLEM="$1"
if [ $# = 2 ]; then
    TIMEOUT="$2"
else
    TIMEOUT=0
fi

export PATH=./bin:$PATH

java -ea -Xmx1500m -jar resources/antiaprove.jar -n -u cli -m wst -p plain -t $TIMEOUT $PROBLEM
