#!/bin/bash trap "" SIGRTMIN TO=`expr $STAREXEC_WALLCLOCK_LIMIT - 3` ./loat-static --plain --proof-level 0 --timeout $TO --mode ranking_function $1 2> /dev/null