(set-info :smt-lib-version 2.6)
(set-logic QF_IDL)
(set-info :source |The Averest Framework (http://www.averest.org)|)
(set-info :category "industrial")
(set-info :status sat)
(declare-fun cvclZero () Int)
(declare-fun F30 () Int)
(declare-fun F32 () Int)
(declare-fun F34 () Int)
(declare-fun F36 () Int)
(declare-fun F38 () Int)
(declare-fun F40 () Int)
(declare-fun F42 () Int)
(declare-fun F44 () Int)
(declare-fun P16 () Bool)
(declare-fun P18 () Bool)
(declare-fun P20 () Bool)
(declare-fun P22 () Bool)
(declare-fun P24 () Bool)
(declare-fun P26 () Bool)
(declare-fun P28 () Bool)
(assert (and (= (- cvclZero F44) 0) (and (= (- cvclZero F42) 0) (and (= (- cvclZero F40) 0) (and (= (- cvclZero F38) 0) (and (= (- cvclZero F36) 0) (and (= (- cvclZero F34) 0) (and (= (- cvclZero F32) 0) (and (= (- cvclZero F30) 0) (and (and (and (and (and (and (not P16) (not P18)) (not P20)) (not P22)) (not P24)) (not P26)) (not P28)))))))))))
(check-sat)
(exit)
