SZS status Theorem for i/f/nets/NET__CONV__BOUNDED
