SZS status Theorem for i/f/poset/complete__down
