3 (set-info :smt-lib-version 2.0)
4 (set-info :category "crafted")
5 (set-info :status unsat)
7 (declare-fun x0 () Bool)
8 (declare-fun y0 () Bool)
9 (declare-fun z0 () Bool)
12 (assert (or (not y0) z0))
14 (declare-fun x1 () Bool)
15 (declare-fun y1 () Bool)
20 (declare-fun f (Bool) Bool)
22 (assert (not (= (f (or x0 z0)) (f (and x1 y1)))))