% SZS status Timeout for pos__simple__fn__not__inf
