#!/bin/bash trap "" SIGRTMIN TO=`expr $STAREXEC_WALLCLOCK_LIMIT - 10` LD_LIBRARY_PATH=../irankfinder/1.3.1/irankfinder/partialevaluation/bin:../irankfinder/1.3.1/irankfinder/ppl:../irankfinder/1.3.1/irankfinder:../lib:$LD_LIBRARY_PATH PATH=../irankfinder/1.3.1/irankfinder/partialevaluation/bin:../irankfinder/1.3.1/irankfinder/ppl:../irankfinder/1.3.1/irankfinder:.:$PATH ../jre/bin/java -Xmx14G -Xms14G -ea -cp ../jre/lib -jar ../aprove.jar -p plain -m wst -w 4 -t $TO $1 2> /dev/null