% SZS status Timeout for lbtree__bisimulati
