certified

#!/bin/bash
trap "" SIGRTMIN
TO=`expr $STAREXEC_WALLCLOCK_LIMIT - 10`
OUT=`LD_LIBRARY_PATH=../lib:$LD_LIBRARY_PATH PATH=.:$PATH ../jre/bin/java -Xms14G -Xmx14G -ea -cp ../jre/lib -jar ../aprove.jar -m wst -p cpf -C ceta -w 4 -t $TO $1 2> /dev/null`
if [[ $OUT == YES* ]] || [[ $OUT == NO* ]] || [[ $OUT == WORST_CASE* ]];
then
    echo "$OUT"
else
    echo "MAYBE"
fi