% SZS status Timeout for sum__compute_
