#!/bin/sh

name=`basename $1`
if timeout 1 meancop --conj --nopaths $1 > /dev/null
then
	echo "% SZS status Theorem for $name"
else
	echo "% SZS status TimeOut for $name"
fi
