longmeasure.sh 666 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26
# /bin/bash
RESULT=results/measure.txt
TIMEOUT=15m
touch ${RESULT}

echo "Measurement $(date)" >> ${RESULT}
echo "" >> ${RESULT}

for FILE in results/*.ltl
do
	NAME=$(basename ${FILE} .ltl)
	echo "Measuring ${FILE}"
	echo "${FILE}:" >> ${RESULT}
	echo "    FOLTL length: $(wc -m < results/${NAME}.foltl)" >> ${RESULT}
	echo "    LTL length: $(wc -m < ${FILE})" >> ${RESULT}
	if
		timeout ${TIMEOUT} time -p aalta/Aalta_v2.0/aalta < ${FILE} >> ${RESULT} 2>&1 
	then
		echo "Finished successfully"
		echo "    Finished successfully" >> ${RESULT}
	else
		echo "Timeout after ${TIMEOUT}"
		echo "    Timeout after ${TIMEOUT}" >> ${RESULT}
	fi
	echo "" >> ${RESULT}
done