% SZS status Timeout for finite__POW__prod__measure__redu
