% SZS status Timeout for pos__simple__fn__cmul__a
