% SZS status Timeout for finite__prefix__po__has__minimal__pa
