SZS status Theorem for i/f/poset/complete__up
