% SZS status Timeout for ELL__compute_
