% SZS status Timeout for inf__cmin
